The Seventeen Provers of the World: Foreword by Dana S. Scott (Lecture Notes in Computer Science (3600), Band 3600)

Computer

von Freek Wiedijk

Taschenbuch

ISBN-13: 978-3-540-30704-4

ISBN-10: 3-540-30704-4

Springer Berlin Heidelberg · 2008