Articoli correlati a Automated Deduction Cade-12: 12th International Conference...
Automated Deduction Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26 july 1, 1994 Proceedings: 814 - Brossura
Sinossi
This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Automated Deduction Cade-12: 12th International Conference...
Immagini fornite dal venditore
Automated Deduction â CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26â"July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships USPS Media Mail. Codice articolo OTV.3540581561.VG
Compra usato
EUR 39,02
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade-12 : 12th International Conference on Automated Deduction Nancy, France, June 26?july 1, 1994 Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23315816-n
Compra nuovo
EUR 58,78
Spedizione EUR 2,35
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Paperback or Softback)
Editore:
Springer 6/8/1994, 1994
ISBN 10: 3540581561
ISBN 13: 9783540581567
Nuovo
Paperback or Softback
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback or Softback. Condizione: New. Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings. Book. Codice articolo BBS-9783540581567
Compra nuovo
EUR 61,22
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Automated Deduction - CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings
Print on DemandDa: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
PF. Condizione: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Codice articolo 6666-IUK-9783540581567
Compra nuovo
EUR 58,91
Spedizione EUR 11,86
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 20 disponibili
Immagini fornite dal venditore
Automated Deduction ¿ CADE-12
Editore:
Springer Berlin Heidelberg Jun 1994, 1994
ISBN 10: 3540581561
ISBN 13: 9783540581567
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions. 872 pp. Englisch. Codice articolo 9783540581567
Compra nuovo
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Automated Deduction ? Cade-12 : 12th International Conference on Automated Deduction Nancy, France, June 26?july 1, 1994 Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 23315816-n
Compra nuovo
EUR 61,93
Spedizione EUR 17,80
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Deduction ? CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings (Lecture Notes in Computer Science, 814)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783540581567_new
Compra nuovo
EUR 68,40
Spedizione EUR 17,73
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Automated Deduction - CADE-12
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.The 67 papers presented were selected from 177 submissions and document many of the most imp. Codice articolo 448941261
Compra nuovo
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Automated Deduction ? CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26?July 1, 1994 Proceedings: 814 (Lecture Notes in Artificial Intelligence)
Da: Books Puddle, Woodside, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. 1994th edition NO-PA03JAN2015-KAP. Codice articolo 26357666606
Compra nuovo
EUR 101,89
Spedizione EUR 3,56
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Automated Deduction ? CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26?July 1, 1994 Proceedings: 814 (Lecture Notes in Artificial Intelligence)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand. Codice articolo 354824433
Compra nuovo
EUR 99,21
Spedizione EUR 7,71
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 4 disponibili