תוצאות חיפוש - NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany
- Showing 1 - 2 results of 2
-
1
Proof technology and computation
יצא לאור 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
סימן המיקום: טוען...An electronic book accessible through the World Wide Web; click to view
ממוקם: טוען...
אלקטרוני Conference Proceeding ספר אלקטרוני -
2
Proof technology and computation
יצא לאור 2006“...NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany...”
סימן המיקום: טוען...An electronic book accessible through the World Wide Web; click to view
ממוקם: טוען...
אלקטרוני Conference Proceeding ספר אלקטרוני