Documento electrónico
|
La lógica como lenguaje de programación: aspectos declarativos y procedurales
|
Smith, Clara Patricia
|
(2023)
|
|
----------
|
Libro
|
Logic for computer science: foundations of automatic theorem proving
|
Gallier, Jean H.
|
1st ed.
(c1987)
|
Domicilio
|
----------
|
Libro
|
Logic for mathematicians
|
Hamilton, A. G.
|
Rev. ed., repr.
(2000)
|
Domicilio
|
----------
|
Libro
|
Logic in computer science: modelling and reasoning about systems
|
Huth, Michael
|
2nd ed.
(2004)
|
Domicilio
|
----------
|
Libro
|
Logic of computation:
|
Sin autor
|
1st ed.
(c1997)
|
Domicilio
|
----------
|
Tesis
|
Lógica de pruebas para certificación de computación móvil:
|
Feller, Federico
|
(2009)
|
Sala
|
----------
|
Documento electrónico
|
Lógica para informática:
|
Pons, Claudia Fabiana
|
1a ed.
(2017)
|
|
----------
|
Libro
|
Lógica para matemáticos:
|
Hamilton, A. G.
|
(1981)
|
Domicilio
|
|
Programa de estudio
|
Lógica y elementos de inteligencia artificial
|
Pons, Claudia Fabiana
|
(2014)
|
|
----------
|
Libro
|
Lógica, programación e inteligencia artificial
|
Kowalski, Robert
|
1a ed.
(1986)
|
Domicilio
|
----------
|