Dale Miller
Beliebte Artikel von Dale Miller
Alle Angebote anzeigen-
-
-
Programming with Higher-Order Logic
Dale Miller , Gopalan Nadathur
Artikelpreise ab
5 Angebote anzeigenEUR 58,44
Entdecken Sie auch
Neu -
Certified Programs and Proofs: Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings
Artikelpreise ab
4 Angebote anzeigenEUR 59,63
Entdecken Sie auch
Neu -
Proof Theory and Logic Programming: Computation as Proof Search
Miller, Dale
Artikelpreise ab
7 Angebote anzeigenEUR 61,07
