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

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	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.
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!