Theorem Proving in Higher Order Logics 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Carreno, Victor A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Munoz, Cesar A. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Tahar, Sofiene (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:1st ed. 2002.
Σειρά:Lecture Notes in Computer Science, 2410
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
Περιγραφή
Φυσική περιγραφή:X, 347 p. online resource.
ISBN:9783540456858
ISSN:0302-9743 ;
DOI:10.1007/3-540-45685-6