Computer Science – Artificial Intelligence
Scientist
Computer Science
Artificial Intelligence
Scientist
A Self-Contained and Easily Accessible Discussion of the Method of Descente Infinie and Fermat's Only Explicitly Known Proof by Descente Infinie
A Simplified and Improved Free-Variable Framework for Hilbert's epsilon as an Operator of Indefinite Committed Choice
An Algebraic Dexter-Based Hypertext Reference Model
ASF+ --- eine ASF-aehnliche Spezifikationssprache
Full First-Order Sequent and Tableau Calculi With Preservation of Solutions and the Liberalized delta-Rule but Without Skolemization
No associations
LandOfFree
Claus-Peter Wirth does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Claus-Peter Wirth, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Claus-Peter Wirth will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-171402