Informacje o autorach

Koszyk jest pusty

247,40 zł

Pokaż:

Wyniki wyszukiwania

Znaleziono 3 pasujące rekordy dla kryteriów wyszukiwania

Logic and Computation Interactive Proof with Cambridge Lcf Paulson Lawrence C. CAMBRIDGE UNIVERSITY PRESS 413,30 zł	ML for the Working Programmer Paulson Lawrence C. CAMBRIDGE UNIVERSITY PRESS 388,90 zł


Isabelle A Generic Theorem Prover Paulson Lawrence C. Springer Nature B.V. 219,50 zł
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic ...