Showing 1 - 1 results of 1 for search 'NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)', query time: 0.05s Refine Results
1
Proof technology and computation
Participants: NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany) [ ]; ProQuest (Firm) [ ]; Schwichtenberg, Helmut, 1942- [ TeilnehmendeR ]; Spies, Katharina. [ TeilnehmendeR ]; ProQuest (Firm) [ TeilnehmendeR ]
Published: c2006.
Superior document: NATO science series. Series III, Computer and systems sciences, v. 200
“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)...”
Links: Get full text
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search