Liknande böcker

Automated Deduction CADE-14: 14th International Conference on Automated...
Bok av William McCune
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012
Bok av Guojun. Wang
Computational Logic in Multi-Agent Systems : 9th International Workshop,...
Bok av Michael. Fisher
Foundations of Information and Knowledge Systems : 10th International Sy...
Bok av Flavio Ferrarotti
Algorithmic Learning for Knowledge-Based Systems : GOSLER Final Report
Bok av Klaus P Jantke
Algorithmic Learning Theory
Bok av Setsuo Arikawa
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov
Computer science logic : 10th international workshop, CSL '96 : Annual C...
Bok av Dirk van Dalen

Coherent Systems

Bok av Karl Schlechta