Handbook of logic in computer science, vol.1: Background....

Main
Computers - Programming
Handbook of logic in computer science,...

Handbook of logic in computer science, vol.1: Background. Mathematical structures

Abramsky S., Gabbay D.M., Maibaum T.S. E. (eds.)

0 / 0

Sukakah Anda buku ini?

Bagaimana kualitas file yang diunduh?

Unduh buku untuk menilai kualitasnya

Bagaimana kualitas file yang diunduh?

Kategori:

Computers - Programming

Tahun:

1992

Penerbit:

Oxford University Press

Bahasa:

english

Halaman:

839

ISBN 10:

0198537352

ISBN 13:

9780198537359

File:

DJVU, 5.24 MB

IPFS:

,

english, 1992

Membaca daring

Pengubahan menjadi sedang diproses

Pengubahan menjadi gagal

Mungkin Anda tertarik

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 1: Background: Mathematical Structures

Gabbay D.M., Hogger C.J., Robinson J.A. (eds.) — Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1: Logical Foundations

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 2: Background: Computational structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 3: Semantic Structures

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 4: Semantic Modelling

Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) — Handbook of Logic in Computer Science. Volume 5: Logic and Algebraic Methods

Adriaans, Pieter, van Benthem J. (eds.) — Handbook of the philosophy of science. Vol. 8, Philosophy of information

Aleš Pultr, Věra Trnková — Combinatorial, Algebraic, and Topological Representations of Groups, Semigroups, and Categories

AA. VV. — Journal of Pure and Applied Algebra

Zbigniew Semadeni — Banach Spaces of Continuous Functions

— Applied Categorical Structures 1993-1996

— Topology and its Applications 137

— Journal of Pure and Applied Algebra №1(1971)

— Journal of Pure and Applied Algebra №17 (1980)

Erdman J.M — Functional analysis and operator algebras

Jean Alexandre Dieudonné — A Panorama of Pure Mathematics (as Seen by N. Bourbaki)

Jean Alexandre Dieudonné — A Panorama of Pure Mathematics (as Seen by N. Bourbaki)

Alex Heller, Myles Tierney — Algebra, Topology, and Category Theory. A Collection of Papers in Honor of Samuel Eilenberg

A. Ya Helemskii, A. West — Banach and Locally Convex Algebras

G. M. Reed, A. W. Roscoe, R. F. Wachter — Topology and Category Theory in Computer Science

Tai-Danae Bradley, Tyler Bryson, John Terilla — Topology: A Categorical Approach

Binz E. (ed.) — Categorical Topology

Novak J. (Ed) — General Topology and Its Relations to Modern Analysis and Algebra IV: Proceedings of the Fourth Prague Topological Symposium

Ioan M. James — General Topology and Homotopy Theory

Stoltenberg-Hansen V., Lindstrom I., Griffor E.R. — Mathematical Theory of Domains

K.D. Joshi — Introduction to general topology

Manes, Ernest G., Arbib, Michael A. — Algebraic Approaches to Program Semantics (Monographs in Computer Science)

Manes, Ernest G — Algebraic theories

Ernest Manes — Algebraic Theories

Koen Thas — Absolute Arithmetic and F1-geometry

Jost, Jürgen — Mathematical Concepts

F. W. Lawvere — Toposes, Algebraic Geometry And Logic

J. Novak — General Topology and Its Relations to Modern Analysis and Algebra IV

M. P. Fourman, C. J. Mulvey, D. S. Scott — Applications of sheaves. Proceedings Symposium on Appl. Sheaf Theory, Durham, 1977

Kamps K.H., Pumplün D., Tholen W. — Category Theory, Applications to Algebra, Logic, and Topology: Proceedings, Gummersbach, FRG, 1981

S. Kamal Abdali, David S. Wise (auth.), Austin Melton (eds.) — Mathematical Foundations of Programming Semantics: International Conference Manhattan, Kansas, April 11–12, 1985 Proceedings

Francis Borceux — Categorical Algebra and its Applications. Proc. conf. Louvain-La-Neuve, 1987

Joseph J. Rotman — An Introduction to Algebraic Topology

Herrlich H., Porst H.-E. (eds.) — Category theory at work

Horst Herrlich (auth.), Eraldo Giuli (eds.) — Categorical Topology: Proceedings of the L’Aquila Conference (1994)

Istilah kunci