×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [predicate definitions]
Home >
predicate definitions
fludf (1)
58 views
Combining Description Logic, Autoepistemic Logic and Logic Programming Peter Baumgartner Max-Planck-Institute for Computer Science, Saarbrücken.
223 views
© Patrick Blackburn, Johan Bos & Kristina Striegnitz Lecture 12: Working with Files This lecture is concerned with various aspects of file handling and.
215 views
Reasoning about Multiple Related Abstractions with MultiStar Stephan van Staden, Cristiano Calcagno Chair of Software Engineering.
214 views
Reasoning about Multiple Related Abstractions with MultiStar
30 views