Importo totale (1 articolo articoli):
Destinazione ordine:
leitsch alexander (96 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (96)
- 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 (76)
- Come nuovo, Ottimo o Quasi ottimo (13)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (2)
Legatura
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (40)
- Non Print on Demand (71)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993: Proceedings
Editore: Springer-Verlag, Berlin, Heidelberg, New York, 1993
ISBN 10: 3540571841 ISBN 13: 9783540571841
Lingua: Inglese
Da: PsychoBabel & Skoob Books, Didcot, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 17,52
EUR 10,77 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Very Good. Paperback in very good condition. From the offices of Bell Northern Europe. Lecture Notes in Computer Science; 713. Minor shelfwear to the cover. Label on inside front cover; stamp on half title page. The binding is sound with clear content throughout. CM. Used.
-
Computational Logic and Proof Theory: Third Kurt Gè??é?²del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.
-
The resolution calculus.
Da: Antiquariat Bookfarm, Löbnitz, Germania
Valutazione del venditore 5 su 5 stelle
EUR 16,95
EUR 16,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloHardcover. VIII, 300 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03764 9783540618829 Sprache: Englisch Gewicht in Gramm: 550.
-
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series).
Da: Wissenschaftl. Antiquariat Th. Haker e.K, Klettgau, Germania
Valutazione del venditore 5 su 5 stelle
EUR 9,15
EUR 24,61 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. 308 p. In very good condition. ISBN: 9783540618829 Sprache: Englisch Gewicht in Gramm: 576 17,1 x 1,9 x 24,8 cm, hardcover.
-
The Resolution Calculus
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. viii + 300.
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science (2083))
Da: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Good. Good - Bumped and creased book with tears to the extremities, but not affecting the text block, may have remainder mark or previous owner's name - GOOD Standard-sized.
-
The Resolution Calculus
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 33,20
EUR 7,37 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 300.
-
The Resolution Calculus
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 34,68
EUR 9,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. viii + 300.
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. We are unable to ship to Canada at this time.Ex-library paperback in nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.
-
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence, Band 2083).
Editore: Berlin, Heidelberg: Springer-Verlag, 2001
ISBN 10: 3540422544 ISBN 13: 9783540422549
Lingua: Inglese
Da: Antiquariat Bernhardt, Kassel, Germania
Valutazione del venditore 5 su 5 stelle
EUR 23,06
EUR 35,95 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloBroschiert. Condizione: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
-
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Automated Model Building (Applied Logic Series, 31).
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 5 su 5 stelle
EUR 31,00
EUR 30,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello2004th ed. 17 x 24 cm. 352 pages. Hardcover. 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. Sprache: Englisch.
-
The Resolution Calculus
Editore: Springer Verlag, Secaucus, New Jersey, U.S.A., 1997
ISBN 10: 3540618821 ISBN 13: 9783540618829
Lingua: Inglese
Da: Defunct Books, Nashville, TN, U.S.A.
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Very Good. Pictorial boards hvae edge wear, minor scratches, rubbed corners/spine. No writing. Very good.
-
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Da: StainesBook, Weybridge, SURRE, Regno Unito
Valutazione del venditore 1 su 5 stelle
EUR 30,20
EUR 34,02 per la spedizione da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello -
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 53,29
EUR 13,59 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,36
EUR 13,59 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings (Lecture Notes in Computer Science, 1289)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,36
EUR 13,59 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings (Lecture Notes in Computer Science, 713)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,36
EUR 13,59 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Computational Logic and Proof Theory: Third Kurt G��del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Godel . (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 55,85
EUR 17,57 per la spedizione da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 59,35
EUR 17,01 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
The Resolution Calculus
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 316.
-
Computational Logic and Proof Theory : 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 65,13
EUR 17,01 per la spedizione da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Computational Logic and Proof Theory: 5th Kurt Godel Colloquium, Kgc'97, Vienna, Austria, August 25-29, 1997 : P Roceedings (Lecture Notes in Computer Science)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,78
EUR 11,34 per la spedizione da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1997 edition. 348 pages. 9.00x6.00x0.75 inches. In Stock.
-
The Resolution Calculus
Editore: Springer Berlin Heidelberg, 2011
ISBN 10: 3642644732 ISBN 13: 9783642644733
Lingua: Inglese
EUR 47,23
EUR 48,99 per la spedizione da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Methods of Cut-Elimination (Trends in Logic, 34)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 103,44
EUR 3,44 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Methods of Cut-Elimination
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 105,04
EUR 2,28 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
