Interactive Theorem Proving [electronic resource] First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings edited by Matt Kaufmann, Lawrence C. Paulson
Τύπος υλικού:![Κιτ](/opac-tmpl/lib/famfamfam/MX.png)
- 9783642140525
- Computer science
- Αντισώματα, Μονοκλωνικά
- Software engineering
- Logic design
- Computer Science
- Logics and Meanings of Programs
- Software Engineering
- Mathematical Logic and Formal Languages
- Programming Languages, Compilers, Interpreters
- Artificial Intelligence (incl. Robotics)
- Αντισώματα
- Τεχνητή νοημοσύνη
Τύπος τεκμηρίου | Τρέχουσα βιβλιοθήκη | Ταξιθετικός αριθμός | Κατάσταση | Ημερομηνία λήξης | Ραβδοκώδικας |
---|---|---|---|---|---|
![]() |
ΒΚΠ - Πατρα | Διαθέσιμο |