Yazar
Nerode, Anil, 1932-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format:
Electronic Resources
Alıntı:
reasoning.Luis' Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa
View Other Search Results
Yazar
International Conference on Logic Programming (10th : 1993 : Budapest, Hungary)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525
Format:
Electronic Resources
Alıntı:
such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State
View Other Search Results