Theorem proving higher order (216 résultats)

Aagaard, Mark [Editor]; Harrison, John [Editor];

Etat: Occasion - Assez bon

EUR 5,09

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2000

3540678638 / 9783540678632

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Ait Mohamed, Otmane [Editor]; Munoz, CÃ©sar [Editor]; Tahar, SofiÃ¨ne [Editor];

Etat: Occasion - Assez bon

EUR 5,95

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes . Computer Science and General Issues)

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 18,00

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)

Langue : anglais

Edité par Springer, 1994

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 25,46

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1994

Couverture souple

Vendeur : Better World Books: West, Reno, NV, Etats-UnisBetter World Books: West

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 25,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1994

Couverture souple

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Bertot, Yves et. al. (Eds.):

Etat: Occasion - Satisfaisant

EUR 25,55

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 2 disponibles

Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Langue : anglais

Edité par Berlin: Springer., 1999

3540664637 / 9783540664635

Couverture souple

Vendeur : Antiquariat Thomas Haker GmbH & Co. KG, Berlin, AllemagneAntiquariat Thomas Haker GmbH & Co. KG

Vendeur avec une évaluation de 5 étoiles

Membre d’une association professionnelle : GIAQ

Etat: Occasion - Comme neuf

EUR 8,00

EUR 20,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Wie neu. VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600.

Theorem Proving in Higher Order Logics

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-UniMajestic Books

Vendeur avec une évaluation de 4 étoiles

Etat: Neuf

EUR 27,91

EUR 7,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 338 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

THEOREM PROVING IN HIGHER ORDER LOGICS: 21ST INTERNATIONAL CONFERENCE, TPHOLS 2008, MONTREAL, CANADA, AUGUST 18-21, 2008, PROCEEDINGS

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Ait Mohamed,O., Munoz,C., Tahar,S.

Etat: Neuf

EUR 36,15

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Theorem Proving In Higher Order Logics: 21St International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 36,15

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Theorem Proving in Higher Order Logics

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Tahar Sofi?ne Ait Mohamed Otmane Munoz C?sar

Etat: Neuf

EUR 32,76

EUR 3,56 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 338.

Theorem Proving in Higher Order Logics

Langue : anglais

Edité par Springer, 2008

Couverture souple

Vendeur : Biblios, frankfurt am main, HESSE, AllemagneBiblios

Vendeur avec une évaluation de 4 étoiles

Slind, Konrad [Editor]; Bunker, Annette [Editor]; Gopalakrishnan, Ganesh C. [Editor];

Etat: Neuf

EUR 28,10

EUR 9,95 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponibles

Etat : New. pp. 338.

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2008

3540230173 / 9783540230175

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

3540602755 / 9783540602750

Etat: Occasion - Assez bon

EUR 33,01

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments.

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings (Lecture Notes in Computer Science, 971)

Langue : anglais

Edité par Springer, 1995

Couverture souple

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis-OnTimeBooks-

Vendeur avec une évaluation de 5 étoiles

3540602755 / 9783540602750

Etat: Occasion - Satisfaisant

EUR 40,17

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Higher Order Logic Theorem Proving and Its Applications : 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg, 1995

Couverture souple

Vendeur : Better World Books: West, Reno, NV, Etats-UnisBetter World Books: West

Vendeur avec une évaluation de 5 étoiles

Basin, David [Editor]; Wolff, Burkhart [Editor];

Etat: Occasion - Satisfaisant

EUR 42,40

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Etat : Good. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer, 2003

3540406646 / 9783540406648

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Boulton, Richard J.; Paul B. Jackson (Eds.)

Etat: Occasion - Assez bon

EUR 36,73

EUR 6,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.

Theorem Proving in Higher Order Logics. 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings.

Langue : anglais

Edité par Berlin, Springer., 2001

Couverture souple

Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, AllemagneUniversitätsbuchhandlung Herta Hold GmbH

Vendeur avec une évaluation de 3 étoiles

Membre d’une association professionnelle : VDAGIAQILAB

Etat: Occasion

EUR 12,00

EUR 30,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible

X, 393 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Computer Science, Vol. 2152. Sprache: Englisch. …

Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings (Lecture Notes in Computer Science, 2152)

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Otmane Ait Mohamed, Cesar Munoz, SofiŠne Tahar

Etat: Occasion - Satisfaisant

EUR 44,37

EUR 3,35 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible

paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority.

Theorem Proving In Higher Order Logics: 21st International Conference, Tphols 2008, Montreal, Canada, August 18-21, 2008, Proceedings (Lecture Notes Computer Science And General Issues)

Edité par Springer

8120090004 / 9788120090002

Couverture souple

Vendeur : Books in my Basket, New Delhi, IndeBooks in my Basket

Vendeur avec une évaluation de 5 étoiles

3662199483 / 9783662199480

Etat: Neuf

EUR 21,26

EUR 18,00 expédition

Expédition depuis Inde vers Etats-Unis

Quantité disponible : 2 disponibles

Soft cover. Etat : New. ISBN: 9783540710653.

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Langue : anglais

Edité par Springer, 2014

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Boulton, Richard J. (EDT); Jackson, Paul B. (EDT)

Etat: Neuf

EUR 58,05

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theorem Proving in Higher Order Logics : 14th International Conference, Tphols 2001, Edinburgh, Scotland Uk, September 3-6, 2001 Proceedings

Langue : anglais

Edité par Springer, 2001

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,51

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings (Paperback or Softback)

Boulton, Richard J.

Langue : anglais

Edité par Springer 8/22/2001, 2001

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

3662199483 / 9783662199480

Etat: Neuf

EUR 60,94

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponibles

Paperback or Softback. Etat : New. Theorem Proving in Higher Order Logics: 14th International Conference, Tphols 2001, Edinburgh, Scotland, Uk, September 3-6, 2001. Proceedings. Book.

Theorem Proving in Higher Order Logics : 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings

Langue : anglais

Edité par Springer, 2014

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Melham, T. F.; Camilleri, Juanito

Etat: Occasion - Comme neuf

EUR 58,86

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Higher Order Logic Theorem Proving And Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings

Langue : anglais

Edité par Springer, 1994

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Tphols 200 (2003 Rome, Italy); Wolff, Burkhart (EDT)

Etat: Neuf

EUR 60,09

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Etat : New.

Theorem Proving in Higher Order Logics : 16th International Conference, Tphols 2003, Rome, Italy, September 8-12, 2003 : Proceedings

Langue : anglais

Edité par Springer, 2003

3540406646 / 9783540406648

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540664637 / 9783540664635

Etat: Neuf

EUR 60,09

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

Langue : anglais

Edité par Springer, 1999

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 62,52

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings (Lecture Notes in Computer Science, 859)

Langue : anglais

Edité par Springer, 1994

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

3540406646 / 9783540406648

Etat: Neuf

EUR 62,52

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theorem Proving in Higher Order Logics: 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2758)

Langue : anglais

Edité par Springer, 2003

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 5 étoiles

Tphols 200 2002 (Hampton, Va.); Munoz, Cesar (EDT); Tahar, Sofiene (EDT)

Etat: Neuf

EUR 62,52

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Theorem Proving in Higher Order Logics : 15th International Conference, Tphols 2002, Hampton, Va, Usa, August, 2002 : Proceedings

Langue : anglais

Edité par Springer, 2002

3540440399 / 9783540440390

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Grundy, Jim (EDT); Newey, Malcolm (EDT)

Etat: Occasion - Comme neuf

EUR 61,13

EUR 2,36 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Theorem Proving in Higher Order Logics : 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 : Proceedings

Langue : anglais

Edité par Springer, 1998

3540649875 / 9783540649878

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles