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 - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland,... Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings (Paperback, 1st ed. 2015)
Hans De Nivelle
R2,582 Discovery Miles 25 820
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Revealing Revelation - How God's Plans For The Future Can Change Your Life Now (Paperback): Amir Tsarfati, Rick Yohn
Revealing Revelation - How God's Plans…
Amir Tsarfati, Rick Yohn Paperback  (5)
 R199 R168 Discovery Miles 1 680
Trade Professional Drill Kit Cordless 18v Lithium/l:
Trade Professional Drill Kit Cordless…
 (9)
 R2,223 Discovery Miles 22 230
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R205 R168 Discovery Miles 1 680
Not available
Aerolatte Cappuccino Art Stencils (Set of 6):
Aerolatte Cappuccino Art Stencils (Set…
R110 R95 Discovery Miles 950
Seagull Clear Storage Box (14lt):
Seagull Clear Storage Box (14lt)
R170 R158 Discovery Miles 1 580
OMC! Totally Wick-ed! Candle Kit (Kit): Hinkler Pty Ltd
OMC! Totally Wick-ed! Candle Kit
Hinkler Pty Ltd Kit R250 R195 Discovery Miles 1 950
Efekto 77300-G Nitrile Gloves (M)(Green):
Efekto 77300-G Nitrile Gloves (M)(Green)
R63 Discovery Miles 630
Amiibo Animal Crossing: Happy Home Designer Cards (3 Card Pack)(Series 1):
Amiibo Animal Crossing: Happy Home…
R169 Discovery Miles 1 690
The Garden Within - Where the War with Your Emotions Ends & Your Most Powerful Life Begins (Paperback): Anita Phillips
The Garden Within - Where the War with…
Anita Phillips Paperback R329 R277 Discovery Miles 2 770

 
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