Compositional diagrammatic first-order logic
statement of authorship
Nathan Haydon, Paweł Sobociński
location of publication
Cham
publisher
year of publication
pages
p. 402-418
conference name, date
11th International Conference, Diagrams 2020, August 24–28, 2020
conference location
Tallinn, Estonia
subject term
kvartiil
category (general)
name of the person
ISSN
0302-9743
ISBN
978-3-030-54248-1
notes
Bibliogr.: 19 ref
scientific publication
teaduspublikatsioon
classifier
TTÜ department
language
inglise
Uurimisrühm
Haydon, N.J., Sobocinski, P.M. Compositional diagrammatic first-order logic // Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings. Cham : Springer, 2020. p. 402-418. (Lecture notes in computer science ; 12169, Lecture notes in artificial intelligence ; 12169).