Bargiidšearbma: Structural embeddings : mechanization with method / César Muñoz, John Rushby.

Summary goes here

Furkejuvvon:

Bibliográfalaš dieđut
Materiálatiipa:	Girji
Giella:	eaŋgalasgiella
Fáttát:	Embeddings (Mathematics) Mechanization. Plongements (Mathématiques) Mécanisation. mechanization. Mechanization Coding. Embedding. Proving.
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

era
format	Book
genre
geographic
id	c20e4bae-842f-4ebb-b314-0c1ebe3aba5d
isbn
issn
language	eng
physical	1 volume
publication	– publisher: National Aeronautics and Space Administration Langley Research Center dateOfPublication: 1999
publishDate	1999
subjects
title	Structural embeddings : mechanization with method / César Muñoz, John Rushby.
topic	Embeddings (Mathematics) Mechanization. Plongements (Mathématiques) Mécanisation. mechanization. Embeddings (Mathematics) Mechanization Coding. Embedding. Mechanization. Proving.