Yazar
Harel, David, 1950-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Format:
Electronic Resources
Alıntı:
Computer logic.
Yazar
Aït-Kaci, Hassan, 1954-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267208
Format:
Electronic Resources
Alıntı:
Prolog (Computer program language)
View Other Search Results
Yazar
Pedroni, Volnei A., author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267318
Format:
Electronic Resources
Alıntı:
COMPUTERS -- Logic Design.
Yazar
Fujiwara, Hideo, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267264
Format:
Electronic Resources
Alıntı:
Logic testing and design for testability / Fujiwara, Hideo, author.
Yazar
Eijck, J. van (Jan)
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267445
Format:
Electronic Resources
Alıntı:
Logic and information flow / Eijck, J. van (Jan)
Yazar
Sterling, Leon S., editor.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / Sterling
Yazar
Gregg, John. author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5263072
Format:
Electronic Resources
Alıntı:
Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / Gregg
Yazar
Sterling, Leon.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267439
Format:
Electronic Resources
Alıntı:
Prolog (Computer program language)
Yazar
Parberry, Ian, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267424
Format:
Electronic Resources
Alıntı:
Neural networks (Computer science)
Yazar
Saraswat, Vijay, author.
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267500
Format:
Electronic Resources
Alıntı:
Constraint programming (Computer science)
Yazar
Levesque, Hector J., 1951-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409
Format:
Electronic Resources
Alıntı:
The logic of knowledge bases / Levesque, Hector J., 1951-
Yazar
Małuszyński, J. (Jan), 1941-
Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267517
Format:
Electronic Resources
Alıntı:
Logic programming : proceedings of the 1997 International Symposium / Małuszyński, J. (Jan), 1941-
Arama Sonuçlarını Sınırlandır
Daraltılmış: