Importo totale (1 articolo articoli):
Destinazione ordine:
automated reasoning analytic tableaux (191 risultati)
Feedback
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (191)
- 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 (165)
- Come nuovo, Ottimo o Quasi ottimo (18)
- Molto buono o Buono (5)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (3)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (191)
Ulteriori caratteristiche
- Prima ed. (2)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (82)
- Non Print on Demand (145)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 4,40
Convertire valutaEUR 3,85 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 441 pp., Paperback, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,07
Usato - A partire da EUR 8,25
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings . / Lecture Notes in Artificial Intelligence 1617)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 6,17
Convertire valutaEUR 3,85 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Good. 323 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,81
Usato - A partire da EUR 10,02
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
EUR 34,02
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. xiii + 343.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 37,43
Usato - A partire da EUR 128,97
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18â"21, . (Lecture Notes in Artificial Intelligence)
Da: Books From California, Simi Valley, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 37,14
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrellopaperback. Condizione: Very Good.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,71
Usato - A partire da EUR 40,55
Scopri anche Brossura Prima edizione
-
Automated Reasoning with Analytic Tableaux and Related Methods. 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings.
Editore: Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Lingua: Inglese
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Membro dell'associazione: GIAQ ILAB VDA
Valutazione del venditore 5 su 5 stelle
EUR 13,00
Convertire valutaEUR 30,00 per la spedizione da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrello2007. 16 x 24 cm. X, 250 S. X, 250 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; Lecture Notes in Artificial Intelligence). Sprache: Englisch.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,81
Usato - A partire da EUR 43,00
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, ... (Lecture Notes in Artificial Intelligence)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 47,85
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 51,26
Usato - A partire da EUR 137,74
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, ... (Lecture Notes in Artificial Intelligence)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,40
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,81
Usato - A partire da EUR 63,26
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings (Lecture Notes in Computer Science, 6793)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,40
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,81
Usato - A partire da EUR 157,72
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings (Lecture Notes in Computer Science, 5607)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,40
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 55,81
Usato - A partire da EUR 131,35
Scopri anche Brossura
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings (Lecture Notes in Computer Science, 1227)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,40
Convertire valutaEUR 3,41 per la spedizione in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
EUR 48,40
Convertire valutaEUR 7,67 per la spedizione in U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,07
Usato - A partire da EUR 63,66
Scopri anche Brossura
-
EUR 48,40
Convertire valutaEUR 7,67 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,07
Usato - A partire da EUR 63,26
Scopri anche Brossura
-
EUR 48,40
Convertire valutaEUR 7,67 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
Ulteriori offerte da altri venditori AbeBooks
Nuovo - A partire da EUR 56,07
Usato - A partire da EUR 63,26
Scopri anche Brossura
-
EUR 48,40
Convertire valutaEUR 7,67 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
-
EUR 61,47
Convertire valutaEUR 7,67 per la spedizione in U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. SUPER FAST SHIPPING.
