TalTech publikatsioonid
pealdis Haydon, N., Sobociński, P.
TTÜ struktuuriüksus tarkvarateaduse instituut
maakood ch
keel inglise
autor Haydon, Nathan Joseph
Sobocinski, Pawel
pealkiri Compositional diagrammatic first-order logic
vastutusandmed Nathan HaydonPaweł Sobociński
allikas Diagrammatic representation and inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020 : proceedings
ilmumiskoht Cham
kirjastus/väljaandja Springer
ilmumisaasta 2020
leheküljed p. 402-418
seeria-sari Lecture notes in computer science ; 12169
Lecture notes in artificial intelligence ; 12169
konverentsi nimetus, aeg 11th International Conference, Diagrams 2020, August 24–28, 2020
konverentsi toimumispaik Tallinn, Estonia
märksõna graafiteooria
diagrammid
loogika
tema kohta Peirce, Charles Sanders, 1839-1914
ISSN 0302-9743
ISBN 978-3-030-54248-1
märkused Bibliogr.: 19 ref
url https://doi.org/10.1007/978-3-030-54249-8_32