Proof technology and computation /

Show other versions (1)

Software engineers have integrated proof processing into industrial development tools, and these implementations are now getting very efficient. The chapters deal with: The benefits and technical challenges of sharing formal mathematics among interactive theorem provers; proof normalization for vari...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
Other Authors: Schwichtenberg, Helmut, 1942-, Spies, Katharina
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam ; Washington, DC : IOS Press, ©2006.
Series:NATO science series. Computer and systems sciences ; v. 200.
Subjects:
Automatic theorem proving > Congresses.
Computer programming > Congresses.
Computer software > Development > Congresses.
Théorèmes > Démonstration automatique > Congrès.
Programmation (Informatique) > Congrès.
COMPUTERS > Expert Systems.
Automatic theorem proving
Computer programming
Computer software > Development
Conference papers and proceedings
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items