0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX'99, Saratoga Springs,... Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings (Paperback, 1999 ed.)
Neil V. Murray
R1,642 Discovery Miles 16 420 Ships in 10 - 15 working days

ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods (TABLEAUX'99) held on June 7-11, 1999 at the Inn at Saratoga, Saratoga Springs, NY, USA. This conference was the continuation of international meetings on Theorem Proving with A- lytic Tableaux and Related Methods held in Lautenbach near Karlsruhe (1992), Marseille (1993), Abingdon near Oxford (1994), St. Goar near Koblenz (1995), Terrasini near Palermo (1996), Pont-' a-Mousson near Nancy (1997), and Oist- wijk near Tilburg (1998). TABLEAUX'99 marks the ?rst time the conference has been held in North America. Tableau and related methods have been found to be convenient and e?ective for automating deduction in various non-standard logics as well as in classical logic. Examples taken from this meeting alone include temporal, description, tense, quantum, modal, projective, hybrid, intuitionistic, and linear logics. - eas of application include veri?cation of software and computer systems, ded- tive databases, knowledge representation and its required inference engines, and system diagnosis. The conference brought together researchers interested in all aspects - theoretical foundations, implementation techniques, systems devel- ment and applications - of the mechanization of reasoning with tableaux and related methods.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Peptine Pro Canine/Feline Hydrolysed…
R369 R259 Discovery Miles 2 590
Playboy London Eau De Toilette (100ml…
R691 R510 Discovery Miles 5 100
Loot
Nadine Gordimer Paperback  (2)
R375 R347 Discovery Miles 3 470
Baby Dove Shampoo Rich Moisture 200ml
R50 Discovery Miles 500
Casio LW-200-7AV Watch with 10-Year…
R999 R899 Discovery Miles 8 990
Octonauts: Arctic Adventures
DVD R52 Discovery Miles 520
Higher
Michael Buble CD  (1)
R507 Discovery Miles 5 070
Marltons Small Animal Cage (72x45x70cm)
R2,359 R1,199 Discovery Miles 11 990
Asus ZenScreen MB16ACV 15.6" FHD IPS…
R5,999 R4,499 Discovery Miles 44 990
Loot
Nadine Gordimer Paperback  (2)
R375 R347 Discovery Miles 3 470

 

Partners