Linguistics

publyear: 1996
61-72 / total 82
year limit: 1996 - remove year limit
cover from: Google Books
Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings
Maurizio Proietti, ed.
1996
185914
isbn:3540609393|isbn:9783540609391
cover from: Google Books
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Craców, Poland, September 2-6, 1996 : proceedings
Wojciech Penczek, Andrzej Szałas, eds.
1996
185918
isbn:3540615504|isbn:9783540615507
cover from: Google Books
Logic in databases : International Workshop LID '96, San Miniato, Italy, July 1-2, 1996 : proceedings
Dino Pedreschi, Carlo Zaniolo, (eds.).
1996
185922
isbn:3540618147|isbn:9783540618140
cover from: Google Books
Godefroid, Patrice.
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem
Patrice Godefroid.
1996
186095
isbn:3540607617|isbn:9783540607618
cover from: Google Books
Object-technologies for advanced software : Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 1996 : proceedings
Kokichi Futatsugi, Satoshi Matsuoka (eds.).
1996
186096
isbn:3540609547|isbn:9783540609544
cover from: Google Books
Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings
Takayasu Ito, Robert H. Halstead, Jr., Christian Queinnec, eds.
1996
186097
isbn:3540611436|isbn:9783540611431
cover from: Google Books
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
1996
186098
isbn:3540613137|isbn:9783540613138
cover from: Google Books
Object-based parallel and distributed computation : France-Japan Workshop, OBPDC '95, Tokyo, Japan, June 21-23, 1995 : selected papers
Jean-Pierre Briot, Jean-Marc Geib, Akinori Yonezawa (eds.).
1996
186099
isbn:3540614877|isbn:9783540614876
cover from: Google Books
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings
Claude Puech, Rüdiger Reischuk, eds.
1996
189287
isbn:3540609229|isbn:9783540609223
cover from: Google Books
Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings
P. Miglioli [and others], eds.
1996
189292
isbn:3540612084|isbn:9783540612087
cover from: Google Books
Alferes, José Júlio.
Reasoning with logic programming
José Júlio Alferes, Luís Moniz Pereira.
1996
189295
isbn:3540614885|isbn:9783540614883
cover from: Google Books
Wilson, Kenneth.
The Columbia Guide to Standard American English.
1996
211163
isbn:9780585041483
Loading... loading_more ...
device_type: computer thumb_size: normal
| grid | |