Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia,... Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings (Paperback, 1st ed. 2017)
Renate A. Schmidt, Claudia Nalon
R2,746 Discovery Miles 27 460
Add to cart
Ships in 18 - 22 working days

This book contains the proceedings of the 26th International Conference on Automated Reasoning with Analytics Tableaux and Related Methods, TABLEAUX 2017, held in Brasilia, Bazil, in September 2017. The 19 contributed papers presented in this volume were carefully reviewed and selected from 27 submissions.They are organized in topical sections named: Sequent systems; tableaux; transitive closure and cyclic proofs; formalization and complexity. Also included are papers of three invited speakers.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Wartime Winger (Paperback): Joseph Curry
Wartime Winger
Joseph Curry Paperback R229 R216 Discovery Miles 2 160
Happy Retirement Guest Book with lined pages (hardback) (Hardcover): Lulu and Bell
Happy Retirement Guest Book with lined…
Lulu and Bell Hardcover R560 Discovery Miles 5 600
Leo Lemon - Fruit of Patience (Paperback): Yira Bernard Jones
Leo Lemon - Fruit of Patience
Yira Bernard Jones Paperback R220 R204 Discovery Miles 2 040
Green Living Made Easy - 101 Eco Tips, Hacks And Recipes To Save Time And Money (Hardcover): Nancy Birtwhistle
Green Living Made Easy - 101 Eco Tips…
Nancy Birtwhistle Hardcover  (1)
 R434 R396 Discovery Miles 3 960
A Bug Flew into My Ear! (Hardcover): Sandra D Rhoads
A Bug Flew into My Ear!
Sandra D Rhoads Hardcover R616 Discovery Miles 6 160
Ivar the Viking - a Romantic History Based Upon Authentic Facts of the Third and Fourth Centuries (Hardcover): Paul B (Paul...
Ivar the Viking - a Romantic History…
Paul B (Paul Belloni) 1 Du Chaillu Hardcover R889 Discovery Miles 8 890
Magnetiize - Stop the chase. Understand the change. Take control of your future. (Paperback): John Sanei
Magnetiize - Stop the chase. Understand…
John Sanei Paperback R345 R318 Discovery Miles 3 180
Swings and Misses - Moribund Labor Relations in Professional Baseball (Hardcover, New): Kenneth M. Jennings
Swings and Misses - Moribund Labor…
Kenneth M. Jennings Hardcover R2,578 Discovery Miles 25 780
The Little Pharaoh - Book 2 (Hardcover): Tracy Blom
The Little Pharaoh - Book 2
Tracy Blom Hardcover R528 Discovery Miles 5 280
Retire to the Fullest - Four Dimensions of Financial Peace of Mind (Hardcover): Eric Chetwood Cfp(r)
Retire to the Fullest - Four Dimensions…
Eric Chetwood Cfp(r) Hardcover R814 Discovery Miles 8 140

 
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners