Von dem Buch Higher Order Logic Theorem Proving and Its Applications haben wir 2 gleiche oder sehr ähnliche Ausgaben identifiziert!
Falls Sie nur an einem bestimmten Exempar interessiert sind, können Sie aus der folgenden Liste jenes wählen, an dem Sie interessiert sind:
100%: Jeffrey J. Joyce; Carl-Johan H. Seger: Higher Order Logic Theorem Proving and Its Applications (ISBN: 9783540483465) 1993, Springer Nature, in Englisch, auch als eBook.Nur diese Ausgabe anzeigen…
56%: Joyce, Jeffrey J., Seger, Carl-Johan H.: Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science 780) (ISBN: 9780387578262) Springer-Verlag, in Englisch, Taschenbuch.
Nur diese Ausgabe anzeigen…
Nur diese Ausgabe anzeigen…
Higher Order Logic Theorem Proving and Its Applications
7 Angebote vergleichen
Bester Preis: € 4,66 (vom 20.04.2019)1
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science) (1993)
EN USISBN: 9780387578262 bzw. 0387578269, in Englisch, Springer-Verlag, gebraucht.
Lieferung aus: Vereinigtes Königreich Großbritannien und Nordirland, Versandkosten nach: USA.
Von Händler/Antiquariat, Phatpocket Limited.
Springer-Verlag. Used - Very Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
Von Händler/Antiquariat, Phatpocket Limited.
Springer-Verlag. Used - Very Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support the African Children's Educational Trust (A-CET). Ex-library, so some stamps and wear, but in good overall condition. 100% money back guarantee. We are a world class secondhand bookstore based in Hertfordshire, United Kingdom and specialize in high quality textbooks across an enormous variety of subjects. We aim to provide a vast range of textbooks, rare and collectible books at a great price. Through our work with A-CET we have helped give hundreds of young people in Africa the vital chance to get an education. We provide a 100% money back guarantee and are dedicated to providing our customers with the highest standards of service in the bookselling industry.
2
Higher Order Logic Theorem Proving and Its Applications (1993)
~EN NW EB DLISBN: 9783540483465 bzw. 3540483462, vermutlich in Englisch, Springer Shop, neu, E-Book, elektronischer Download.
Lieferung aus: Österreich, Lagernd, zzgl. Versandkosten.
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove". eBook.
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled "Some theorems we should prove". eBook.
3
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science) (1993)
EN USISBN: 9780387578262 bzw. 0387578269, in Englisch, Springer-Verlag, gebraucht.
Von Händler/Antiquariat, Phatpocket Limited [8420744], Waltham Abbey, HERTS, United Kingdom.
Ex-library, so some stamps and wear, but in good overall condition.
Ex-library, so some stamps and wear, but in good overall condition.
4
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science 780) (1994)
EN PBISBN: 9780387578262 bzw. 0387578269, in Englisch, Springer, Taschenbuch.
Lieferung aus: Vereinigte Staaten von Amerika, Versandkosten nach: USA.
Von Händler/Antiquariat, Zubal Books.
Springer, 1994. 518 pp., Paperback, ex library, else text clean and binding tight.
Von Händler/Antiquariat, Zubal Books.
Springer, 1994. 518 pp., Paperback, ex library, else text clean and binding tight.
5
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science 780) (1994)
EN PB USISBN: 9780387578262 bzw. 0387578269, in Englisch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Zubal-Books [581], Cleveland, OH, U.S.A.
518 pp., Paperback, ex library, else text clean and binding tight.
518 pp., Paperback, ex library, else text clean and binding tight.
6
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 (Lecture Notes in Computer Science) (1994)
EN PB RPISBN: 9780387578262 bzw. 0387578269, in Englisch, Springer, Taschenbuch, Nachdruck.
Von Händler/Antiquariat, Ergodebooks [8304062], RICHMOND, TX, U.S.A.
This item is printed on demand.
This item is printed on demand.
7
Higher Order Logic Theorem Proving and Its Applications
DE NW EBISBN: 9783540483465 bzw. 3540483462, in Deutsch, Springer Nature, neu, E-Book.
Lieferung aus: Deutschland, Lagernd.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…