Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Jarvisalo, Matti.

Overview

Works:	2 works in 1 publications in 1 languages

Titles

Theory and applications of satisfiability testing = SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings / by: Van Gelder, Allen.; Jarvisalo, Matti.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :) (Language materials, printed)

Subjects

Algorithm Analysis and Problem Complexity. Artificial Intelligence (incl. Robotics) Computation by Abstract Devices. Computer algorithms Computer Science. Computer software Information and Communication, Circuits. Logics and Meanings of Programs. Mathematical Logic and Formal Languages.

Change password

Login