Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Logic programming
Functional programming (Computer science)
2
Artificial intelligence
1
Automatic theorem proving
1
Computer arithmetic
1
Deductive databases
1
Démonstration automatique
1
Intelligence artificielle
1
Logic programming languages
1
Logic, Symbolic and mathematical
1
Programmation logique
1
Prolog (Computer program language)
1
Théorèmes
1
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9Publicado 2012Libro electrónico
-
10Publicado 2010Libro electrónico