Liknande böcker

Category Theory and Computer Science : 7th International Conference, CTC...
Bok av Eugenio Moggi
Logic Programming and Knowledge Representation
Bok av Jurgen Dix
Rewriting Techniques and Applications : 7th International Conference, RT...
Bok av Harald Ganzinger
Topology via Logic
Bok av Steven Vickers
Algebraic and Logic Programming
Bok av Michael Hanus
Perspectives of System Informatics: 4th International Andrei Ershov Memo...
Bok av Alexandre V. Zamulin
Mathematical Foundations of Programming Semantics
Bok
Conditional Term Rewriting Systems : 1st International Workshop Orsay, F...
Bok av Stephane Kaplan

Isabelle

Bok av Lawrence C. Paulson