Suggested Topics within your search.
Showing 1 - 6 results of 6 for search '', query time: 0.45s Refine Results
1
Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers /
Berlin ; New York : Springer, 2002

Conference Proceeding Book
2
Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings /
Berlin ; New York : Springer, 2001

Conference Proceeding Book
3
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings /
Berlin ; New York : Springer, 2001

Conference Proceeding Book
6
Logic programming : 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001 : proceedings /
Berlin ; New York : Springer, 2001

Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search