The little prover /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Friedman, Daniel P. (Συγγραφέας), Eastlund, Carl (Συγγραφέας)
Άλλοι συγγραφείς:	Bibby, Duane (Εικονογράφος), Moore, J. Strother (Συγγραφέας εισαγωγής κ.λπ.), Felleisen, Matthias (Συγγραφέας του επιλόγου, κολοφώνα, κ.λπ.)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	Αγγλικά
Έκδοση:	Cambridge, Massachusetts ; London, [England] : The MIT Press, 2015.
Θέματα:	Automatic theorem proving. LISP (Computer program language) Electronic books.
Διαθέσιμο Online:	An electronic book accessible through the World Wide Web; click to view
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Διαδίκτυο