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

Andrews, James H.

ID:DA07119023

Alias Name: Andrews, James Harold

Search authors sharing the same name

Search Results1-3 of 3

1

Logic programming : operational semantics and proof theory

James H. Andrews

Cambridge University Press 2004, c1992 Distinguished dissertations in computer science

: pbk
2

Logic programming : operational semantics and proof theory

James H. Andrews

Cambridge University Press 1992 Distinguished dissertations in computer science

Available at 20 libraries
3

Logic programming : operational semantics and proof theory

James H. Andrews

University of Edinburgh, Department of Computer Science 1991

Available at 1 libraries

Search this author

Related Authors