QR kód

Theory of formal systems /

Uložené v:

Podrobná bibliografia
Hlavný autor:	Smullyan, Raymond M. (Autor)
Médium:	Kniha
Jazyk:	English
Vydavateľské údaje:	Princeton : University Press, 1961
Vydanie:	[1st ed.]
Predmet:	formálny systém
On-line prístup:
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Podobné jednotky

Formal description techniques. Vol. V : Internat. conf. for distributed systems and communications protocols - FORTE '92, Perros-Guirec, France, 13 - 16 Oct. 1992 /
Autor: Doldi, L.
Vydavateľské údaje: (1993)

Automata theory with modern applications /
Autor: Anderson, James A., a ďalší
Vydavateľské údaje: (2006)

Jazyky a překlady /
Autor: Melichar, Bořivoj 1942-
Vydavateľské údaje: (1996)

Logika /
Autor: Bek, Roman
Vydavateľské údaje: (2000)

Jazyky a překlady. Cvičení /
Autor: Melichar, Bořivoj 1942-
Vydavateľské údaje: (2004)

Digitale Systeme. Grundlagen /
Autor: Wunsch, Gerhard
Vydavateľské údaje: (1993)

Diskrétní matematika /
Autor: Mezník, Ivan 1942-
Vydavateľské údaje: (2004)

ACM transactions on computational logic
Vydavateľské údaje: (2000)

Absolute logics /
Autor: Akkanen, Jyrki
Vydavateľské údaje: (1995)

Automata, languages and programming : Proceedings, Lund, Sweden, July 5 - 9, 1993 /
Autor: Blum, Manuel
Vydavateľské údaje: (1993)

Logika /
Autor: Bek, Roman
Vydavateľské údaje: (1996)

Modelovanie a riadenie diskrétnych udalostných dynamických systémov s využitím Petriho sietí a iných nástrojov /
Autor: Hrúz, Branislav
Vydavateľské údaje: (2003)

Formální logika v umělé inteligenci /
Autor: Lukasová, Alena
Vydavateľské údaje: (2003)

Discrete mathematics. A unified approach /
Autor: Wiitala, Stephen A.
Vydavateľské údaje: (1987)

AN INTRODUCTION TO FORMAL LANGUAGE THEORY /
Autor: Moll, Robert N.
Vydavateľské údaje: (1988)

Automata theory and formal languages /
Vydavateľské údaje: (1975)

Algebraic Formalization of Smart Systems Theory and Practice /
Autor: Serdyukova, Natalia
Vydavateľské údaje: (2018)

Descriptional complexity of formal systems : DCFS 2007, proceedings, ninth international workshop, High Tatras, July 20-22, 2007 /
Autor: Jürgensen, Helmut
Vydavateľské údaje: (2007)

Mathematical logic and formalized theories : a survey of basic concepts and results /
Autor: Rogers, Robert
Vydavateľské údaje: (1974)

Formal System Verification State-of the-Art and Future Trends /
Vydavateľské údaje: (2018)

Formal language theory. Perspectives and open problems /
Autor: Ginsburg, Seymour
Vydavateľské údaje: (1980)

Über eine deterministische theorie formaler sprachen /
Autor: Henke, F. W. v.
Vydavateľské údaje: (1972)

Formal foundations of correct programming /
Autor: Novitzká, Valerie
Vydavateľské údaje: (1999)

Formale Sprachen /
Autor: Salomaa, Arto K.
Vydavateľské údaje: (1978)

Formal specification and analysis of industrial systems /
Autor: Bos, Victor
Vydavateľské údaje: (2002)

Validation of non-formal and informal learning in Europe : a snapshot 2007 /
Autor: Nychas, Christine
Vydavateľské údaje: (2008)

Introduction to Formal Philosophy
Vydavateľské údaje: (2018)

Mural. A formal development support system /
Autor: Jones, Clifford Bryn
Vydavateľské údaje: (1991)

Formalization of natural languages /
Autor: Kümmel, Peter
Vydavateľské údaje: (1979)

Swarm Robotics: A Formal Approach
Autor: Hamann, Heiko
Vydavateľské údaje: (2018)

Algebraische Theorie abstrakter Automaten, formaler Sprachen und Halbgruppen /
Vydavateľské údaje: (1973)

Thermodynamic formalism : the mathematical structures of classical equilibrium, statistical mechanics /
Autor: Ruelle, David
Vydavateľské údaje: (1978)

Formal techniques for verification of complex real-time systems /
Autor: Geilen, Marc Constantijn Willem
Vydavateľské údaje: (2002)

On formal semantics of object systems with data and object attributes /
Autor: Parnitzke, Daniel
Vydavateľské údaje: (2001)

Navěky nerozhodnuto. Úvod do logiky a zábavný průvodce ke Gödelovým objevům /
Autor: Smullyan, Raymond
Vydavateľské údaje: (2003)

A FORMALISM FOR CONCURENT PROCESSES /
Autor: Kaldewaij, Anne
Vydavateľské údaje: (1986)

Connecting informal and formal mathematics /
Autor: Elbers, Hugo Johannes
Vydavateľské údaje: (1998)

Formal semantics of programming languages /
Vydavateľské údaje: (1972)

Communication systems engineering theory /
Autor: Sunde, Erling D.
Vydavateľské údaje: (1969)

Stability theory of dynamical systems /
Autor: Bhatia, N. P., a ďalší
Vydavateľské údaje: (1970)