Conference Proceedings uoadl:1001829 3071 Read counter
28. Logic-Based tools for legal contract drafting: prospects and problems
Conference Paper uoadl:104687829. Contraction can result in less uncertainty
Conference Paper uoadl:104688830. Modular logic programming and abstract data types
Conference Paper uoadl:104689331. Reductions of search space in RUE-Resolution theorem proving
Conference Paper uoadl:104689732. Reasoning about termination of tabled logic programs
Conference Paper uoadl:104690333. A set-oriented resolution method for recursive query processing
Conference Paper uoadl:104690734. Logics associated with complex systems
Conference Paper uoadl:104692135. Η Λογική των Μεγαρικών: μία άλλη εκδοχή του ελληνικού λόγου
Conference Paper uoadl:104692636. Ο Λογισμός των προτάσεων στους Στωικούς
Conference Paper uoadl:104693437. On the effects of training deductive reasoning
Conference Paper uoadl:104694438. Children's and adult's reasoning: logical necessity and pragmatic plausibility
Conference Paper uoadl:104695739. Is there a Logic of Abduction?
Conference Paper uoadl:104696340. Reflections on a category-theoretic approach to quantum mechanics
Conference Paper uoadl:104696841. Μερικές σκέψεις για την έρευνα επί της μαθηματικής λογικής στην Ελλάδα
Conference Paper uoadl:104697042. Rationality: a change in turnstyle
Conference Paper uoadl:104697443. Frontiers of logic: research trends and directions
Conference Paper uoadl:104697744. Frontiers of logic: research trends and directions (position for the panel discussion)
Conference Paper uoadl:104698145. Effective computations in analysis
Conference Paper uoadl:104699246. Formal methods and their application
Conference Paper uoadl:104710247. Applications of logic in databases
Conference Paper uoadl:1047104