Komentáře: Automated reasoning and mathematics : essays in memory of William W. McCune / Maria Paola Bonacina, Mark E. Stickel (eds.).

Summary goes here

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	Artificial intelligence. Computer logic. Artificial Intelligence Intelligence artificielle. Logique informatique. artificial intelligence. Artificial intelligence Computer logic Computer science. Logic design. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Math Applications in Computer Science. computerwetenschappen computer sciences wiskunde mathematics kunstmatige intelligentie logica logic Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Llibres electrònics. Festschriften Festschriften.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!