William Mccune
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence William Mccune

Name: Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Price: 53.99 EUR
Availability: OutOfStock
Author: William Mccune

Cena

€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 10. - 18. nov.

Ziemassvētku dāvanas var atgriezt līdz 31. janvārim

Saņemiet paziņojumus par jauniem William Mccune izdevumiem

Mūsu klienti saka:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu

Top vieta Trustpilot

Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997: Proceedings - Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence

William Mccune

Presented in this volume are 25 papers taken from the proceedings of an international conference on automated deduction. The papers cover a range of topics including resolution, term rewriting, unification theory, high-order logics, and nonstandard logics.

469 pages, biography

Mediji	Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists	1997. gada 18. jūnijs
ISBN13	9783540631040
Izdevēji	Springer-Verlag Berlin and Heidelberg Gm
Lapas	469
Izmēri	156 × 234 × 24 mm · 671 g
Valoda	Vācu
Redaktors	Mccune, William