Importo totale (1 articolo articoli):
Destinazione ordine:
lawrence wenzel (15 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (15)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (7)
- Come nuovo, Ottimo o Quasi ottimo (3)
- Molto buono o Buono (4)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
Ulteriori caratteristiche
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
The Sandcastle at High Tide
Da: Books of Paradise, Magalia, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Trade Paperback. Condizione: Near Fine. No Edition Stated.
-
First History of Sacramento City: by Dr. John F. Morse (Sacramento Book Collectors Club)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 17,53
Spedizione EUR 3,49
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Turnip Patch Infield and a Navajo
Lingua: Inglese
Editore: Heidelberg Graphics, Chico, CA, 1999
ISBN 10: 0918606136 ISBN 13: 9780918606136
Da: Paradise Found Books, Chico, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Prima edizione Copia autografata
Hardcover. Condizione: Very Good. Condizione sovraccoperta: Very Good. 1st Edition. INSCRIBED by author on first page. Light edge wear, clean copy. Inscribed by Author(s).
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer Science, Band 2283
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germania
Valutazione del venditore 5 su 5 stelle
EUR 39,95
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloBroschiert. Condizione: Gut. 218 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 395.
-
Worlds of Tomorrow Vol 4 No 1 (Spring 1966 -sic - 1967?) - Heavenly Host, Deliver the Man!, The Most Delicious Foe, Homogenized Planet, Island of Light
Data di pubblicazione: 1966
Da: El Pinarillo Books, Morden, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 4,06
Spedizione EUR 22,34
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback Magazine. Condizione: Good. Cover by Wenzel (illustratore). A little reading wear, binding solid; good + overall. Contains: Heavenly Host (Petaja), Deliver the Man! (Banks), The Most Delicious Foe (Todd), Homogenized Planet (Danzig), Island of Light (Perkins). Book.
-
Isabelle/Hol : A Proof Assistant for Higher-Order Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,85
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Isabelle/Hol : A Proof Assistant for Higher-Order Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 74,15
Spedizione EUR 2,31
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 76,54
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science)
Da: Brit Books, Milton Keynes, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 59,17
Spedizione EUR 18,80
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Used; Very Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 67,73
Spedizione EUR 14,09
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Isabelle/Hol : A Proof Assistant for Higher-Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,99
Spedizione EUR 17,64
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Isabelle/Hol : A Proof Assistant for Higher-Order Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 74,43
Spedizione EUR 17,64
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Da: BennettBooksLtd, Los Angeles, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
-
![Immagine del venditore per California Local History : A Centennial Bibliography Compiled By the California Library Association Committee on Local History : 1950 Edition [reference, Review of Writen Works, Literature on the State of California, Historical] venduto da GREAT PACIFIC BOOKS](https://pictures.abebooks.com/inventory/md/md758324507.jpg)
California Local History : A Centennial Bibliography Compiled By the California Library Association Committee on Local History : 1950 Edition [reference, Review of Writen Works, Literature on the State of California, Historical]
Editore: Stanford University Press 1950, Clean and Unmarked Text, 1950
Da: GREAT PACIFIC BOOKS, Ventura, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hard Back. Condizione: Good Clean Cond. Condizione sovraccoperta: No Dust Jacket. Previous Owner Name Stamp. Hardback : hard cover edition in good or better condition, some slight wear to edges, as normal for age of book. Excellent read. A good book to enjoy and keep on hand. Or would make a great gift for the fan / reader in your life. / This copy was a gift from the compilation committee to the California Historical Society. On the backside of the ffep is a pasted down letter on University of California stationary from the General Library at Berkeley. Letter is dated July 11, 1950. It is addressed to Mrs Ana B. Packman, Secretary, Historical Society of Southern California in Los Angeles. The letter is signed Mrs. Margaret D. Uridge, Chairman, No. Division, Regional Cooperation Committee, California Library Association. On the pretitle page is handwritten in fountain pen, Complimentary copy to the Historical Society of Southern California, from the California Library Association in appreciation of services rendered July 1950. As is, as found. Book.
-
Isabelle/HOL
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2002
ISBN 10: 3540433767 ISBN 13: 9783540433767
EUR 57,15
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefe.
