Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk. ^anglais (Q114252043)

scientific article published in 1994 ^anglais

Langue	Libellé	Description	Également connu comme
français	Pas de libellé défini	Aucune description fournie
anglais	Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk.	scientific article published in 1994

Déclarations

nature de l’élément

1 référence

https://api.crossref.org/v1/works/https://doi.org/10.2307/2275719

date de consultation

28 septembre 2022

titre

Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk. (anglais)

Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk. anglais (Q114252043)

Déclarations

Identifiants

Liens de site

Wikipédia(0 entrée)

Wikilivres(0 entrée)

Wikinews(0 entrée)

Wikiquote(0 entrée)

Wikisource(0 entrée)

Wikiversité(0 entrée)

Wikivoyage(0 entrée)

Wiktionnaire(0 entrée)

Autres sites(0 entrée)

Menu de navigation

Rechercher

Larry Wos, Ross Overbeek, Ewing Lusk, and Jim Boyle. Automated reasoning. Introduction and applications. Second edition of LI 464. McGraw-Hill, New York etc. 1992, xvi + 656 pp. + disk. ^anglais (Q114252043)