Logic for computer scientists
This book introduces the notions and methods of formal logic from a computer science stanpoint, covering propositional logi, predicate logic, and foundations of logic programming. It presents such modern applications and themes of current computer science research as resolution, automated deduction,...
Guardado en:
| Autor principal: | Uwe Schoning |
|---|---|
| Formato: | Libro |
| Lenguaje: | Undetermined |
| Publicado: |
Boston, Massachusetts
Birkhauser
1989
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
Ejemplares similares
-
Logic for mathematics and computer sicence
por: Burris, Stanley N.
Publicado: (1998) -
Logic
Publicado: (1980) -
Logic toán
por: S L Edenmar
Publicado: (1981) -
An introduction to symbolic logic
por: Langer, Susanne Katherina
Publicado: (1953) -
Bước đầu làm quen với logic toán
por: Nguyễn Mạnh Trinh
Publicado: (1997)