Logic and computer science : από Homer, S. (Steven)

Logic for Computer Science : από Gallier, Jean H.

Logic in computer science : από Huth, Michael 1962-

Θέματα:

Handbook of logic in computer science

Θέματα: “…Computer science.…”

Categories in computer science and logic :

Mathematical Logic for Computer Science από Ben-Ari, M. 1948-

Mathematical logic for computer science από Lu, Chung-wan

Θέματα: “…Computer science Mathematics.…”

Logic for mathematics and computer science από Burris, Stanley

Logic of computation

Θέματα: “…Computer science Congresses.…”

Handbook of logic and proof techniques for computer science από Krantz, Steven G. (Steven George) 1951-

Fuzzy logic and soft computing

Logic and algorithms : από Korfhage, Robert R.

Crisp and soft computing with hypercubical calculus : από Zaus, Michael 1946-

Logic and computation : από Paulson, Lawrence C.

Fuzzy logic and neural networks for computer vision από Keller, James M.

Θέματα:

Fuzzy logic and intelligent systems

Logic for computer scientists από Schoning, Uwe 1955-

“…Progress in computer science and applied logic ;…”

Logic for applications από Nerode, Anil, 1932-

Θέματα: “…Computer science Mathematics.…”

Foundations of disjunctive logic programming από Lobo, Jorge

Θέματα: “…Logic programming (Computer science)…”

Logic and logic grammars for language processing

Θέματα: “…Natural language processing (Computer science)…”