Automated Model Building

Materias

• Architectural models
• Automatic theorem proving
• Applied logic series

Ediciones (2)

• Automated Model Building (2004)

  Springer London, Limited · inglés · ISBN 9781402026539

• Automated Model Building (Applied Logic Series) (2004)

  Springer · inglés · ISBN 9781402026522

Más obras de Ricardo Caferra