Cafe
Cafe
Kokichi Futatsugi
Details
OL Work ID
OL19151992W
Subjects
Formal methods (Computer science)
Congresses
Algebraic logic
Find this book
Open Library