Compositional diagrammatic first-order logic
vastutusandmed
Nathan Haydon, Paweł Sobociński
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 402-418
seeria-sari
konverentsi nimetus, aeg
11th International Conference, Diagrams 2020, August 24–28, 2020
konverentsi toimumispaik
Tallinn, Estonia
tema kohta
ISSN
0302-9743
ISBN
978-3-030-54248-1
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
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).