Languages
Szeider, Stefan.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Computational models of argument = Proceedings of COMMA 2012 /
by:
Szeider, Stefan.; Verheij, Bart.; Wotlran, Stefan.; ebrary, Inc.
(Electronic resources)
Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings /
by:
Szeider, Stefan.; Strichman, Ofer.; Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service)
(Electronic resources)
Subjects
Computer algorithms
Software Engineering.
Propositional calculus
Algorithm Analysis and Problem Complexity.
Reasoning- Computer simulation
Decision making
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algebra, Boolean
Artificial intelligence- Computer simulation
Mathematics of Computing.
Computer Science.
Programming Techniques.