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

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

Change password

Login