Logic for Computer Science and Artificial Intelligence
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By John Wiley & Sons, Inc

9781118604182, 9781848213012

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Problem Specification in Logical Languages

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch9 ◽

2013 ◽

pp. 291-326

Download Full-text

Inference

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch8 ◽

2013 ◽

pp. 259-290

Download Full-text

Propositional Logic

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch3 ◽

2013 ◽

pp. 39-119

Keyword(s):

Propositional Logic

Download Full-text

Solutions to the Exercises

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch12 ◽

2013 ◽

pp. 395-514

Download Full-text

Bibliography

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.biblio ◽

2013 ◽

pp. 515-515

Download Full-text

Index

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.index ◽

2013 ◽

pp. 517-523

Download Full-text

Artificial Intelligence

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch7 ◽

2013 ◽

pp. 245-257 ◽

Keyword(s):

Artificial Intelligence

Download Full-text

First-order Terms

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch4 ◽

2013 ◽

pp. 121-130

Keyword(s):

Download Full-text

A Few Thoughts Before the Formalization

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch2 ◽

2013 ◽

pp. 7-37

Download Full-text

Knowledge and Logic: Some Notions

Logic for Computer Science and Artificial Intelligence ◽

10.1002/9781118604182.ch11 ◽

2013 ◽

pp. 385-394

Download Full-text