Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Bertot, Yves et. al. (Eds.):

Editore: Berlin: Springer., 1999

Riguardo questo articolo

VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 600. Codice articolo 818986

Dati bibliografici

Titolo: Theorem proving in higher order logics: 12th...

Casa editrice: Berlin: Springer.

Data di pubblicazione: 1999

Legatura: Paperback.

Condizione: Wie neu