Clicky

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings by Helmut Veith and similar books you'll love - Bookscovery

Home > Authors > Helmut Veith > Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Buy at: Bookshop.org Amazon

Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Helmut Veith

Recent activity

Rate this book to see your activity here.

6 Books Similar to Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings by Helmut Veith

Bookscovery readers who liked Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings also like 25 Years of Model Checking, Computer Aided Verification and Computer Science Logic. How many of these have you read?

25 Years of Model Checking by Orna Grumberg

Cover of 25 Years of Model Checking
Buy this book at:
Bookshop.org Amazon

Computer Aided Verification by Natasha Sharygina

Cover of Computer Aided Verification
Buy this book at:
Bookshop.org Amazon

Computer Science Logic by Anuj Dawar

Cover of Computer Science Logic
Buy this book at:
Bookshop.org Amazon

Handbook of Model Checking by Edmund M. Clarke

Cover of Handbook of Model Checking
Buy this book at:
Bookshop.org Amazon

Model Checking, Second Edition by Orna Grumberg

Cover of Model Checking, Second Edition
Buy this book at:
Bookshop.org Amazon

Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung by Helmut Veith

Cover of Zum Spannungs-Dehnungs-Verhalten von Baustählen bei Wechselbeanspruchung
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Logic For Programming Artificial Intelligence And Reasoning 15th International Conference Lpar 2008 Doha Qatar November 2227 2008 Proceedings

Please sign in to leave a comment