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
Omnible använder cookies för att fungera bättre för dig. Genom att använda vår webbplats samtycker du till vår användning av cookies.
Jag förstår!