Lógica para informáticos /

Saved in:
Bibliographic Details
Other Authors: Ferré Cirera, Rafael, Nieuwenhuis, Robert, Nivela Alós, Pilar, Oliveras Llunell, Albert, Rodríguez Carbonell, Enric, Sierra Santibáñez, Josefina
Format: Book
Language: Spanish
Published: México, D. F. : Alfaomega Grupo Editor : ©2012.
Marcombo Ediciones Técnicas,
Subjects:
Notas Contenido:
  • Definición de la lógica proposicional
  • Deducción en la lógica proposicional
  • Definición de la lógica de primer orden
  • Deducción de la lógica de primer orden
  • Fundamentos de la programación lógica
  • Ejercicios resueltos

Antioquia/Complejo Norte: Unknown

Holdings details from Antioquia/Complejo Norte: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold

Antioquia/Complejo Central: Unknown

Holdings details from Antioquia/Complejo Central: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold

Cauca/Agropecuario y Teleinformática: Unknown

Holdings details from Cauca/Agropecuario y Teleinformática: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold
Copy Ej. 3 Available Place a Hold

Cauca/Comercio y Servicios: Unknown

Holdings details from Cauca/Comercio y Servicios: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold

Tolima/Industria: Unknown

Holdings details from Tolima/Industria: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold

Tolima/Comercio: Unknown

Holdings details from Tolima/Comercio: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold
Copy Ej. 3 Available Place a Hold
Copy Ej. 4 Available Place a Hold
Copy Ej. 5 Available Place a Hold

Casanare/Yopal: Unknown

Holdings details from Casanare/Yopal: Unknown
Call Number: 005.131 L687l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold