Search Results for Computer logic.

13.

Learning and soft computing : support vector machines, neural networks, and fuzzy logic models

Yazar

Kecman, V. (Vojislav), 1948-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267294

Format:

Electronic Resources

Alıntı:

Learning and soft computing : support vector machines, neural networks, and fuzzy logic models /

14.

Logic programming : proceedings of the Tenth International Conference on Logic Programming

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ı:

Logic programming : proceedings of the Tenth International Conference on Logic Programming /

15.

Computationalism : new directions

Yazar

Scheutz, Matthias.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267431

Format:

Electronic Resources

Alıntı:

Computer science.

16.

Computability : Turing, Gödel, Church, and beyond

Yazar

Posy, Carl J, editor.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6554353

Format:

Electronic Resources

Alıntı:

discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer

17.

Knowledge representation

Yazar

Brachman, Ronald J., 1949-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507

Format:

Electronic Resources

Alıntı:

Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in

18.

Building ontologies with basic formal ontology

Yazar

Arp, Robert, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=7275982

Format:

Electronic Resources

Alıntı:

information in computer-tractable form, drawing on concepts not only from computer and information science but

19.

Introduction to statistical relational learning

Yazar

Getoor, Lise.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267269

Format:

Electronic Resources

Alıntı:

Computer algorithms.

20.

A grammatical view of logic programming

Yazar

Deransart, Pierre, author.

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267491

Format:

Electronic Resources

Alıntı:

A grammatical view of logic programming / Deransart, Pierre, author.

21.

Proof, language, and interaction : essays in honour of Robin Milner

Yazar

Plotkin, G. (Gordon), 1946-

Abstract with links to resource http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426

Format:

Electronic Resources

Alıntı:

Computer science.

	{displayName}	{count}
{error}