LATIN 2004: Theoretical Informatics (Q5901672)
From MaRDI portal
scientific article; zbMATH DE number 5551816
Language | Label | Description | Also known as |
---|---|---|---|
English | LATIN 2004: Theoretical Informatics |
scientific article; zbMATH DE number 5551816 |
Statements
LATIN 2004: Theoretical Informatics (English)
0 references
7 May 2009
0 references
equality logic
0 references
satisfiability
0 references
resolution
0 references