Infinity and the mind : από Rucker, Rudy v. B. (Rudy von Bitter), 1946-

Θέματα: “…Logic, Symbolic and mathematical.…”

From logic programming to Prolog από Apt, Krzysztof R. 1949-

Θέματα: “…Logic programming.…”

Fril, fuzzy and evidential reasoning in artificial intelligence από Baldwin, J. F. (James Frederick), 1938-, Martin, T. P., Pilsworth, B. W.

Θέματα: “…Logic programming.…”

Logic programming and prolog από Nilsson, Ulf

Θέματα: “…Logic programming.…”

Bounded arithmetic, propositional logic and complexity theory από Krajicek, Jan

Θέματα:

Prolog : από Deransart, Pierre

Θέματα: “…Logic programming.…”

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

Θέματα:

Fuzzy modeling and genetic algorithms for data mining and exploration από Cox, Earl

Θέματα:

Set theory and its logic από Quine, W. V. (Willard Van Orman)

Θέματα:

Logic and information από Devlin, Keith J.

Θέματα:

Set theory and its logic από Quine, W. V. (Willard Van Orman)

Θέματα:

Την κυρία, ή, Την τίγρη; : από Smullyan, Raymond M.

Θέματα: “…Logic puzzles.…”

Retracing elementary mathematics

Θέματα:

Specifying message passing and time-critical systems with temporal logic από Koymans, Ron

Θέματα:

The axiomatic method : από Lightstone, A. H.

Θέματα: “…Logic, Symbolic and mathematical.…”

Non-monotonic extensions of logic programming :

Θέματα: “…Logic programming Congresses.…”

Communication and meaning : από Jones, Andrew J. I. 1947-

Θέματα:

Proof theory of modal logic

Θέματα: “…Modality (Logic) Congresses.…”

Logic programming and nonmonotonic reasoning :

Θέματα: “…Logic programming Congresses.…”

Το θεώρημα μη πληρότητας του Godel από Κολιώνης, Γιώργος - Λεωνίδας

Θέματα: Λήψη πλήρους κειμένου
Λήψη πλήρους κειμένου