Importo totale (1 articolo articoli):
Destinazione ordine:
9783540662228 - Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings: 1632 di Ganzinger, Harald (12 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (12)
- 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 (2)
- Molto buono o Buono (3)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (12)
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 (6)
- Non Print on Demand (12)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer . / Lecture Notes in Artificial Intelligence)
Da: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Good. *Price HAS BEEN TEMPORARILY REDUCED by 10% until Monday, March 9 (sale item)* 429 pp., Paperback, minor library markings, else text clean and binding tight, good. - 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.
-
Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Lingua: Inglese
Editore: Springer Berlin / Heidelberg, 1999
ISBN 10: 3540662227 ISBN 13: 9783540662228
Da: Better World Books, Mishawaka, IN, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: 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.
-
Automated Deduction-Cade-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 59,13
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in . / Lecture Notes in Artificial Intelligence)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Automated Deduction-Cade-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 63,23
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 65,58
Spedizione gratuita
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,59
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,01
Spedizione EUR 17,87
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Automated Deduction-Cade-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,58
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Automated Deduction-Cade-16 : 16th International Conference on Automated Deduction Trento, Italy, July 7-10, 1999 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,47
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Automated Deduction - CADE-16
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 1999
ISBN 10: 3540662227 ISBN 13: 9783540662228
EUR 64,08
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Session 1.- A Dynamic Programming Approach to Categorial Deduction.- Tractable Transformations from Modal Provability Logics into First-Order Logic.- Session 2.- Decision Procedures for Guarded Logics.- A PSpace Algorithm for Graded Modal Logic.- Session 3.
-
Automated Deduction - CADE-16 : 16 th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999. Proceedings
Lingua: Inglese
Editore: Springer, Berlin, Springer, 1999
ISBN 10: 3540662227 ISBN 13: 9783540662228
EUR 79,32
Spedizione EUR 62,95
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware - This volume contains the papers presented at the Sixteenth International Conference on Automated Deduction (CADE-16), held in Trento, Italy, July 7{10, 1999, and hosted by Istituto Trentino di Cultura { Centro per la ricerca scientic a e tecnologica (ITC-IRST). The year 1999 marks the 25th anniv- sary of CADE. Since their inception in 1974 at Argonne National Laboratory, the CADE conferences have matured into the major forum for presentation of research in all aspects of automated deduction. CADE-16 was one of the conferences participating in the 1999 Federated LogicConference (FLoC). FLoC'99was the second Federated LogicConference; the r st took place in 1996 and was hosted by DIMACS at Rutgers University, NewBrunswick, NJ.TheintentionoftheFederatedLogicConferences istobring together as a synergetic group several conferences that apply logic to computer science. Theother participatingconferences in FLoC'99were theEleventh Int- national Conference on Computer-Aided Veri cation (CAV'99), the Fourteenth IEEE Symposium on Logic inComputer Science (LICS'99), and the Tenth C- ference on Rewriting Techniques and Applications (RTA-99). Eighty-three papers were submitted to CADE-16: 67 regular papers and 16 system descriptions. Each of the submissions was reviewed by at least four programcommitteemembers, andanelectronicprogramcommitteemeeting was held through the Internet. Of the 83 papers, 21 regular papers and 15 system descriptions were accepted. In addition, this volume contains full papers by two of the four invited speakers, Erich Gr adel and Robert Nieuwenhuis, along with an abstract of Tobias Nipkow's invited lecture. Zohar Manna gave an invited talk in a plenary session with CAV.
