Jean Goubault-Larrecq

3 books

Foundations of Software Science and Computation Structures by Jean Goubault-Larrecq, Barbara König

Foundations of Software Science and Computation Structures

Jean Goubault-Larrecq, Barbara König

656 pages • missing pub info (editions)

nonfiction computer science medium-paced
Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology by Jean Goubault-Larrecq

Non-Hausdorff Topology and Domain Theory: Selected Topics in Point-Set Topology

New Mathematical Monographs

Jean Goubault-Larrecq

497 pages • missing pub info (editions)

nonfiction mathematics medium-paced
Proof Theory and Automated Deduction by Jean Goubault-Larrecq, I. MacKie

Proof Theory and Automated Deduction

Applied Logic

Jean Goubault-Larrecq, I. MacKie

444 pages • missing pub info (editions)

nonfiction mathematics