Sciweavers

4617 search results - page 42 / 924
» Automation of Diagrammatic Reasoning
Sort
View
NMELP
1994
15 years 6 months ago
From Disjunctive Programs to Abduction
Vladimir Lifschitz, Hudson Turner
GIS
1992
ACM
15 years 6 months ago
Temporal Databases
Richard T. Snodgrass
PLILP
1994
Springer
15 years 6 months ago
Abstracting Synchronization in Concurrent Constraint Programming
Enea Zaffanella, Roberto Giacobazzi, Giorgio Levi