täiskirje prindi

Compositional diagrammatic first-order logic

autor
vastutusandmed
Nathan Haydon, Paweł Sobociński
allikas
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
leitav
tema kohta
ISSN
0302-9743
ISBN
978-3-030-54248-1
märkused
Bibliogr.: 19 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor
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). https://doi.org/10.1007/978-3-030-54249-8_32