Liknande böcker

Artificial intelligence and symbolic mathematical computing : proceedings
Bok av Jacques C Calmet
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov
Combinatorics on Words : 11th International Conference, WORDS 2017, Mont...
Bok av Srecko Brlek
On Fuzziness
Bok av Rudolf Seising
Implementation and Application of Automata : 9th International Conferenc...
Bok av Michael. Domaratzki
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Deontic Logic in Computer Science: 7Th International Workshop on Deontic...
Bok av Donald Nute
Recent Trends in Algebraic Development Techniques : 20th International W...
Bok av Till. Mossakowski

Instantiation theory : on the foundations of automated deduction

Bok av James G. Williams