Language: English

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Ramanayake, Revantha.

Overview

Works:	0 works in 1 publications in 1 languages

Titles

Automated reasoning with analytic tableaux and related methods = 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023 : proceedings / by: Ramanayake, Revantha.; Urban, Josef.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service) (Language materials, printed)

Subjects

Software Engineering. Computer System Implementation. Artificial Intelligence. Computer Science Logic and Foundations of Programming. Automatic theorem proving Formal Languages and Automata Theory. Control Structures and Microprogramming.

Change password

Login