Ewa Orłowska on Relational Methods in Logic and Computer Science

Bibliographische Detailangaben

Weitere Verfasser:	Golińska-Pilarek, Joanna (HerausgeberIn), Zawidzki, Michał (HerausgeberIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Cham Springer International Publishing 2018 Cham Springer
Schriftenreihe:	Outstanding Contributions to Logic 17
Schlagworte:	Logic Mathematical Logic and Formal Languages Mathematical Applications in Computer Science Logics and Meanings of Programs Mathematical Logic and Foundations Computer science Logic design Logic, Symbolic and mathematical Logik Festschrift
Online-Zugang:	UBT01 URL des Erstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!