【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

Goubault-Larrecq, Jean

ID:DA10915129

Alias Name: Goubault-Larrecq, J

Search authors sharing the same name

Search Results1-2 of 2

1

Non-Hausdorff topology and domain theory

Jean Goubault-Larrecq

Cambridge University Press 2013 New mathematical monographs 22

: hardback

Available at 19 libraries
2

Proof theory and automated deduction

by Jean Goubault-Larrecq and Ian Mackie

Kluwer Academic c1997 Applied logic series v. 6

Available at 25 libraries

Search this author

Related Authors

Mackie, I. (Ian)