Symbolic logic and mechanical theorem proving / Chin-Liang Chang,... Richard Char-Tung Lee,...

Date :

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-12-170350-9

Catalogue Worldcat

Logique mathématique

Intelligence artificielle

Théorèmes -- Démonstration automatique

Classification Dewey : 511/.3

Collection : Computer science and applied mathematics : a series of monographs and textbooks / ed.by Werner C.Rheinboldt / New York : Academic Press , 1968-