Εξώφυλλο

Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /

This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22–25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?c...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:
Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Hurd, Joe. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Melham, Tom. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Έκδοση:1st ed. 2005.
Σειρά:Theoretical Computer Science and General Issues ; 3603
Θέματα:
Computers.
Architecture, Computer.
Mathematical logic.
Computer logic.
Software engineering.
Artificial intelligence.
Theory of Computation.
Computer System Implementation.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Artificial Intelligence.
Διαθέσιμο Online:https://doi.org/10.1007/11541868
Ετικέτες: Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

Διαδίκτυο

https://doi.org/10.1007/11541868

Παρόμοια τεκμήρια