Sciweavers

17129 search results - page 111 / 3426
» Applied Computing
Sort
View
BIRTHDAY
2005
Springer
15 years 12 months ago
SAT-Based Cooperative Planning: A Proposal
Marco Benedetti, Luigia Carlucci Aiello
BIRTHDAY
2005
Springer
15 years 12 months ago
Open Problems in Logic and Games
Johan van Benthem
BIRTHDAY
2005
Springer
15 years 12 months ago
Nonmonotonic Reasoning
Alexander Bochman
BIRTHDAY
2005
Springer
15 years 12 months ago
Classical Natural Deduction
Marcello D'Agostino
BIRTHDAY
2005
Springer
15 years 12 months ago
Mathematical Foundations of Answer Set Programming
Paolo Ferraris, Vladimir Lifschitz