
Theorem Proving in Higher Order Logics
Yves Bertot, Gilles Dowek, Andre Hirschowitz
₹5,561

by Na Späth
Free delivery. Nothing extra to pay at checkout.
Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anf�ngen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen f�r die historische wie auch die disziplingeschichtliche Forschung zur Verf�gung, die jeweils im historischen Kontext betrachtet werden m�ssen.
Description supplied by the publisher.