Data processing: artificial intelligence
Knowledge processing system
Creation or modification
Inventor
active
Method of automated proving for unrestricted first-order logic
Terminal software architecture for use with smart cards
No associations
LandOfFree
Jean-Paul Billon does not yet have a rating. At this time, there are no reviews or comments for this inventor.
If you have personal experience with Jean-Paul Billon, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Jean-Paul Billon will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-P-2448049