0
Your cart

Your cart is empty

Books > Computing & IT > Applications of computing > Artificial intelligence

Buy Now

Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings (Paperback, 1996 ed.) Loot Price: R1,645
Discovery Miles 16 450
Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini...

Theorem Proving with Analytic Tableaux and Related Methods - 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings (Paperback, 1996 ed.)

Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi

Series: Lecture Notes in Computer Science, 1071

 (sign in to rate)
Loot Price R1,645 Discovery Miles 16 450 | Repayment Terms: R154 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1071
Release date: April 1996
First published: 1996
Editors: Pierangelo Miglioli • Ugo Moscato • Daniele Mundici • Mario Ornaghi
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 336
Edition: 1996 ed.
ISBN-13: 978-3-540-61208-7
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 3-540-61208-4
Barcode: 9783540612087

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

African Artificial Intelligence…
Mark Nasila Paperback R350 R312 Discovery Miles 3 120
Digital Dharma - How AI Can Elevate…
Deepak Chopra Paperback R440 R393 Discovery Miles 3 930
Artificial Intelligence for Neurological…
Ajith Abraham, Sujata Dash, … Paperback R4,171 Discovery Miles 41 710
Temporal Data Mining via Unsupervised…
Yun Yang Paperback R1,242 Discovery Miles 12 420
What The Future?! - 7 Updates To…
Justin Cohen Paperback R285 R263 Discovery Miles 2 630
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R2,019 Discovery Miles 20 190
Deceitful Media - Artificial…
Simone Natale Hardcover R2,585 Discovery Miles 25 850
Intelligent Communication Systems…
Nobuyoshi Terashima Hardcover R1,611 Discovery Miles 16 110
Constructions at Work - The nature of…
Adele Goldberg Hardcover R2,133 Discovery Miles 21 330
AI Engineering - Building Applications…
Chip Huyen Paperback R1,817 R1,386 Discovery Miles 13 860
Taking The Anxiety Out Of AI - Humans…
Sameer Rawjee Paperback R320 R275 Discovery Miles 2 750
Happimetrics - Leveraging AI to Untangle…
Peter A. Gloor Hardcover R2,984 Discovery Miles 29 840

See more

Partners