登入選單
Google圖書搜尋
Memories Dreams and The Grid
作者
GORDON PLOTKIN
出版Amazon Pro Hub, 2023-03-10
主題
Fiction
Memories Dreams and the Grid
作者
Gordon Plotkin
出版Amazon, 2023-01-06
ISBN
9781960147677 / 1960147676
主題
Fiction
Transactions on Computational Systems Biology VI
作者
Gordon Plotkin
出版Springer, 2006-11-27
ISBN
3540457798 / 9783540457794
主題
Computers
Lattice Theoretic Properties of Subsumption
作者
Gordon Plotkin / University of Edinburgh. Department of Machine Intelligence & Perception
出版1970
ISBN
OCLC:607588096
A Structural Approach to Operational Semantics
作者
Gordon Plotkin
出版1981
ISBN
OCLC:11358962
主題
Machine theory
Semantics of Data Type
作者
Gilles Kahn / D.B. Mac Queen / Gordon Plotkin
出版1984
ISBN
OCLC:859817410
Petri nets, event structures and domains
作者
Mogens Neilsen / Gordon Plotkin / Glynn Winskel
出版1979
ISBN
OCLC:606103063
Logical Full Abstraction and PCF.
作者
John Longley / Gordon Plotkin / University of Edinburgh. Laboratory for Foundation of Computer Science
出版1997
ISBN
OCLC:59611304
主題
Computer software
Domains
作者
Gordon Plotkin
出版1983
ISBN
OCLC:1457308749
The [lambda]-calculus is [omega]-incomplete
作者
Gordon Plotkin / University of Edinburgh. School of Artificial Intelligence
出版1973
ISBN
OCLC:606169430
Automatic Methods of Inductive Inference
作者
G. D. Plotkin
出版1971
ISBN
OCLC:256074047
主題
Automatic theorem proving
Pi(Omega) as a Universal Domain
作者
Gordon Plotkin
出版1977
ISBN
OCLC:847119899
LCF Considered as a Programming Language
作者
Gordon Plotkin / University of Edinburgh. School of Artificial Intelligence
出版1974
ISBN
OCLC:606166659
A Theory of Program Refinement
作者
Ewen William Kennedy Christopher Denney / University of Edinburgh. Department of Computer Science / University of Edinburgh. Laboratory for Foundations of Computer Science
出版1998
ISBN
OCLC:606156731
A Semantics for Static Type Inference
作者
Gordon Plotkin
出版1992
ISBN
OCLC:60091063
主題
Type theory
A Framework for Defining Logics
作者
Robert Harper / Furio Honsell / Gordon Plotkin
出版1987
ISBN
OCLC:16809315
主題
Logic
The Category-theoretic Solution of Recursive Domai...
作者
M. B. Smyth / Gordon Plotkin / University of Edinburgh. Department of Artificial Intelligence
出版1978
ISBN
OCLC:606054169
Call-by-name, Call-by-value and the [lambda]-calcu...
作者
Gordon Plotkin / University of Edinburgh. School of Artificial Intelligence
出版1973
ISBN
OCLC:606166648
Linear Type Theories, Semantics and Action Calculi
作者
Andrew Graham Barber / University of Edinburgh. Department of Computer Science
出版1997
ISBN
OCLC:607712273
Assigning and Evaluating in Program Schemata
作者
Gordon Plotkin / University of Edinburgh. Department of Machine Intelligence & Perception
出版1971
ISBN
OCLC:607588116
Topological Domain Theory
作者
Ingo Battenfeld / Alexander Simpson / Gordon Plotkin
出版2008
ISBN
OCLC:827262569
Brothers who aren't really brothers
作者
Gordon Plotkin
出版2022
ISBN
9798355158590
Situation Theory and Its Applications
作者
Peter Aczed
出版2000
ISBN
OCLC:947127315
A Framework for Defining Logics
作者
Robert Harper / Furio A. Honsell / Gordon Plotkin
出版1989
ISBN
OCLC:20588511
主題
Lambda calculus
Typed Lambda Calculi and Applications
出版1995
ISBN
038759048X / 9780387590486
主題
Artificial intelligence
Response of Ureagenesis in Perfused Rat Liver to P...
作者
Gordon Plotkin
出版1988
ISBN
OCLC:18551869
Proceedings of the First Workshop on Logical Frame...
作者
Workshop on Logical Frameworks
出版1990
ISBN
OCLC:606522304
主題
Automatic theorem proving
A structural approach to operational semantics
作者
Gordon D. Plotkin
出版1981
ISBN
OCLC:770922430
Typed lambda calculi and applications
作者
Mariangiola Dezani-Ciancaglini / Gordon Plotkin
出版1995
ISBN
OCLC:878754291
A Powerdomain Construction
作者
University of Edinburgh. Department of Artificial Intelligence / G. D. Plotkin
出版1975
ISBN
OCLC:476060109