×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [predicate definitions]
Documents
fludf (1)
59 views
Documents
Combining Description Logic, Autoepistemic Logic and Logic Programming Peter Baumgartner Max-Planck-Institute for Computer Science, Saarbrücken
224 views
Documents
© Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 12: Working with Files This lecture is concerned with various aspects of file handling and
217 views
Documents
Reasoning about Multiple Related Abstractions with MultiStar Stephan van Staden, Cristiano Calcagno Chair of Software Engineering
218 views
Documents
Reasoning about Multiple Related Abstractions with MultiStar
40 views