Name: combining first-order logic and logic programming using fol-programs
SKU: 3487917
Price: 73600.00 CLP
Availability: InStock
Author: michael felderer
ISBN: 9783639033250

Selecciona tu país

América

Europa

Resto del mundo

portada combining first-order logic and logic programming using fol-programs

combining first-order logic and logic programming using fol-programs

Formato

Libro Físico

Editorial

vdm verlag dr. muller aktiengesells

Autor

michael felderer

N° páginas

116

ISBN

3639033256

ISBN13

9783639033250

Categorías

Ciencias de la computación

combining first-order logic and logic programming using fol-programs

Michael Felderer (Autor) · vdm verlag dr. muller aktiengesells · Libro Físico

Libro Nuevo Importado

Envío: 11 a 15 días háb.

$ 122.670$ 73.600

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 40 unidades

$ 73.600

Llega entre el 06 Oct y el 13 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "combining first-order logic and logic programming using fol-programs"

the integration of knowledge bases in classical first-order logic (and in particular of ontologies in various description logics) with rule languages rooted in logic programming is receiving considerable attention in the context of current efforts aro ...