|
Search | About | Preferences | Interact | Help |
| 150 million books. 1 search engine. | |





More editions of Csl, '89. 3rd Workshop on Computer Science Logic, Kaiserlautern, Frg, October 2-6, 1989. Proceedings.:




More editions of Processing Declarative Knowledge: International Workshop, PDK '91, Kaiserslautern, Germany, July 1-3, 1991 Proceedings:
