Buy Used and New Cesare Tinelli Books

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint ... 9035 (Lecture Notes in Computer Science)

by Christel Baier, Cesare Tinelli

ISBN 13: 9783662466803

Format: Paperback (744 pages)
Publisher: Springer
Published: 08 Apr 2015

Save for later

Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday: 11560 (Lecture Notes in Computer Science)

by Carsten Lutz,Uli Sattler,Cesare Tinelli

ISBN 13: 9783030221010

Format: Paperback (678 pages)
Publisher: Springer
Published: 01 Jun 2019

Save for later