登入選單
Google圖書搜尋
Algebra, Meaning, and Computation
作者
Kokichi Futatsugi
出版Springer Science & Business Media, 2006-06-22
ISBN
9783540354628 / 354035462X
主題
Computers
What is Unification?
作者
Joseph Goguen
出版1988
ISBN
STANFORD:36105019741466
主題
Categories (Mathematics)
Bridging Saint John Harbour
作者
Harold E. Wright and Joseph Goguen
出版Arcadia Publishing, 2013
ISBN
9781467120104 / 1467120103
主題
History
Sheaf Semantics for Concurrent Interacting Objects
作者
Joseph Goguen
出版1991
ISBN
STANFORD:36105019741458
主題
Semantics
A Study in the Foundations of Programming Methodol...
作者
Joseph A. Goguen / Rod M. Burstall / Center for the Study of Language and Information (U.S.)
出版1986
ISBN
UCSD:31822003008398
主題
Computer programming
Algebraic Semantics of Imperative Programs
作者
Joseph Goguen / Grant Malcolm
出版MIT Press, 1996
ISBN
026207172X / 9780262071727
主題
Computers
A JUNCTION BETWEEN COMPUTER SCIENCE AND CATEGORY T...
出版1973
ISBN
OCLC:1106619907
Algebras, Theories and Freeness
作者
Rod M. Burstall / Joseph A. Goguen
出版1982
ISBN
OCLC:61735340
主題
Computer algorithms
Categories of Fuzzy Sets
作者
Joseph Goguen
出版1968
ISBN
UCAL:C3478806
主題
Categories (Mathematics)
Order-sorted Algebra Solves the Constructor-select...
作者
Joseph Goguen / José Meseguer
出版1987
ISBN
LCCN:88155952
主題
Abstract data types (Computer science)
Introduction
作者
Marina Jirotka / Joseph Goguen
出版1994
ISBN
OCLC:222892878
Order-sorted Unification
作者
José Meseguer / Joseph A. Goguen / Gert Smolka
出版1987
ISBN
OCLC:18419382
主題
Logic, Symbolic and mathematical
Order-sorted Unification
作者
José Meseguer
出版1984
ISBN
OCLC:12030700
主題
Communication
Order Sorted Algebra Solves the Constructor-select...
作者
José Meseguer / Joseph A. Goguen
出版1990
ISBN
OCLC:23261424
主題
Abstract data types (Computer science)
Modular Algebraic Specification of Some Basic Geom...
作者
Joseph A. Goguen
出版1987
ISBN
OCLC:16198758
主題
Artificial intelligence
Final Algebras, Cosemicomputable Algebras, and Deg...
作者
L. S. Moss / José Meseguer / Joseph A. Goguen
出版1991
ISBN
OCLC:24764523
主題
Algebra, Abstract
Indexed Categories as a Tool for the Semantics of ...
作者
Andrzej Tarlecki / R. M. Burstall / Joseph Goguen
出版1989
ISBN
OCLC:24899049
主題
Categories (Mathematics)
Four Pieces on Error, Truth and Reality
作者
J. A. Goguen
出版1990
ISBN
OCLC:24899041
主題
Computer programs
Linguistic Methodology for the Analysis of Aviatio...
作者
Joseph Goguen
出版1983
ISBN
STANFORD:36105024668225
主題
Aircraft accidents
On Homomorphisms, Correctness, Termination, Unfold...
作者
Joseph Goguen
出版1973
ISBN
OCLC:77562785
Higher Order Functions Considered Unnecessary for ...
作者
Joseph A. Goguen
出版1988
ISBN
OCLC:18551707
主題
Computer programming
An Operational Semantics for FOOPS
作者
Paulo Borba / Joseph Goguen
出版1994
ISBN
OCLC:35799330
主題
Object-oriented programming (Computer science)
Modular Algebraic Specification of Some Basic Geom...
作者
Joseph Goguen
出版1984
ISBN
OCLC:12030700
主題
Artificial intelligence
A Categorical Manifesto
作者
J. A. Goguen
出版1989
ISBN
0902928546 / 9780902928541
主題
Bionics
Concurrent Term Rewriting as a Model of Computatio...
作者
Joseph A. Goguen / Claude Kirchner / José Meseguer
出版1987
ISBN
OCLC:18756444
主題
Computer architecture
Semantics of Non-terminating Rewrite Systems Using...
作者
José Barros / Oxford University Computing Laboratory. Programming Research Group / Joseph Goguen
出版1995
ISBN
OCLC:35799338
主題
Formal languages
Final Algebras, Cosemicomputable Algebras, and Deg...
作者
Lawrence S. Moss / José Meseguer / Joseph A. Goguen
出版1987
ISBN
OCLC:17430395
主題
Artificial intelligence
Categories of Fuzzy Sets
作者
Joseph Goguen
出版1972
ISBN
OCLC:757248030
OBJ as a Theorem Prover
作者
SRI International. Computer Science Laboratory / J. A. Goguen
出版1988
ISBN
OCLC:18551711
主題
Automatic theorem proving
Semantics and Refinement for a Concurrent Object O...
作者
Paulo Borba / Joseph Goguen
出版1995
ISBN
OCLC:59629963
主題
Object-oriented programming (Computer science)