Dual Tableaux foundations, methodology, case studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

DE-634
DE-91
DE-384
DE-19
DE-703
DE-20
DE-29
DE-739
URL des Erstveröffentlichers

Dual Tableaux Foundations, Methodology, Case Studies von Orłowska, Ewa 1935-, Golińska-Pilarek, Joanna 1976-

Inhaltstext
Inhaltsverzeichnis

Ewa Orłowska on relational methods in logic and computer science

Weitere Verfasser: “… Golińska-Pilarek, Joanna 1976- …”
Inhaltstext
Volltext