QR kód

First- order dynamic logic /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Harel, David (Autor)
Médium:	Kniha
Jazyk:	čeština
Vydáno:	Berlin : Springer, 1979
Edice:	rz1
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

First order oscillators /
Autor: Verhoeven, Christiaan Johannes Maria
Vydáno: (1990)

Handbook of first order partial differential equations /
Autor: Polyanin, Andrei Dimitrievich, a další
Vydáno: (2002)

First Order Algebraic Differential Equations : a Differential Algebraic Approach /
Autor: Matsuda, Michihiko
Vydáno: (1980)

Inverse problems for nonsmooth first order perturbations of the Laplacian /
Autor: Salo, Mikko
Vydáno: (2004)

Order : with or without design? : contribution to the theory and application of spontaneous order /
Autor: Hayek, Friedrich August von, 1899-1992
Vydáno: (1989)

State space realizations representing vector second order dynamics /
Autor: Schrama, Ruud J. P.
Vydáno: (1990)

Higher order logic theorem proving and its applications : Proceedings of the IFIP TC10/WG10.2 internat. workshop, Leuven, Belgium, 21 - 24 Sept., 1992 /
Autor: Melham, Thomas F.
Vydáno: (1993)

First things first : recorded drills : tapescript /
Autor: Alexander, Louis George, 1932-2002
Vydáno: (1967)

Fundamentals of computer logic /
Autor: Hutchison, David
Vydáno: (1981)

Modern logic design /
Autor: Green, David
Vydáno: (1986)

Order in polymer solutions.
Autor: Šolc, Karel
Vydáno: (1976)

Grain-boundary structure in ordered alloys /
Autor: Tichelaar, Frans David
Vydáno: (1990)

FROM LOGIC DESIGN TO LOGIC PROGRAMMING /
Autor: Snyers, Dominique
Vydáno: (1987)

The Legal Order Studies in the Foundations of Juridical Thinking /
Autor: Frändberg, Åke
Vydáno: (2018)

First language

Killing Orders Talat Pasha's Telegrams and the Armenian Genocide /
Autor: Akçam, Taner
Vydáno: (2018)

Broad system of ordering : Schedule and index /
Autor: Coates, Eric, a další
Vydáno: (1977)

Logical Form Between Logic and Natural Language /
Autor: Iacona, Andrea
Vydáno: (2018)

Mathematical logic /
Autor: Flum, Jörg, a další
Vydáno: (1984)

The Order of Victimhood Violence, Hierarchy and Building Peace in Northern Ireland /
Autor: Jankowitz, Sarah E.
Vydáno: (2018)

The Future of Creation Order Vol. 2, Order Among Humans: Humanities, Social Science and Normative Practices /
Vydáno: (2018)

THE LOGIC OF INDUCTION /
Autor: Mortimer, Halina
Vydáno: (1988)

MATRIX LOGIC /
Autor: Stern, August
Vydáno: (1988)

THE LOGIC OF PROGRAMMING /
Autor: Hehner, Eric C. R.
Vydáno: (1984)

Absolute logics /
Autor: Akkanen, Jyrki
Vydáno: (1995)

Mathematical logic /
Autor: Demlová, Marie
Vydáno: (1999)

Logic and structure /
Autor: Dalen, Dirk van
Vydáno: (1983)

FIRST Bauen und leben mit Holz

ORDER IN THE AMORPHONS "STATE" OF POLYMERS /
Autor: Mitchell, Geoffrey R.
Vydáno: (1987)

Order in thin organic films /
Autor: Tredgold, R. H.
Vydáno: (1994)

Ordered topological vector spaces /
Autor: Peressini, Anthony L.
Vydáno: (1967)

Industrial furnaces made to order.
Vydáno: (2008)

Uniform domains of higher order /
Autor: Alestalo, Pekka
Vydáno: (1994)

THE SCIENCE OF COMPUTING. EXPLORING THE NATURE AND POWER OF ALGORITHMS /
Autor: Harel, David
Vydáno: (1989)

Reconstructing Our Orders Artificial Intelligence and Human Society /
Vydáno: (2018)

Stochasticity and partial order : doubly stochastic maps and unitary mixing /
Autor: Alberti, P. M., a další
Vydáno: (1981)

First Amendment Studies

First principles of cosmology /
Autor: Linder, Eric V.
Vydáno: (1997)

First steps in Maple /
Autor: Burkhardt, Werner
Vydáno: (1994)

Putting SMEs first
Vydáno: (2007)