QR kód

Definability and infinitely deep languages /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Heikkilä, Heikki
Další autoři:	Lehto, O. (Editor)
Médium:	Diplomová práce Kniha
Jazyk:	angličtina
Vydáno:	Helsinki : Suomalainen Tiedeakatemia, 1993
Vydání:	[1st ed.]
Edice:	I. Mathematica : Dissertationes Vol. 89
Témata:	logika > M-veta > separačná teoréma
ISBN:	9514107241
ISSN:	0355-0087
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Chemical separation methods /
Autor: Dean, John A.
Vydáno: (1969)

Separačné metódy /
Autor: Krupčík, J. (Ján)
Vydáno: (1986)

Matematická logika /
Autor: Mareš, Jan 1944-
Vydáno: (2009)

Vierdimensionale Datenassimilation nach der Variationsmethode für ein mesoskaliges Chemietransportmodell /
Autor: Schmidt, Hauke
Vydáno: (1999)

Recycling von Elektro- und Elektronikschrott. Einführung in die Wiederverwertung für Industrie, Handel und Gebietskörperschaften /
Autor: Koellner, Wolfgang
Vydáno: (1996)

3. seminář uživatelů inteligentního terminálu M3T 300, M3T 320 /
Autor: Hoder, Karel
Vydáno: (1987)

Riemannian geometry /
Autor: Carmo, Manfredo Perdigao do
Vydáno: (1993)

Elektronika PRaM /
Autor: Kšiňan, Igor
Vydáno: (1987)

Laboratórne cvičenie z organickej chémie. I. diel /
Autor: Štibrányi, Ladislav
Vydáno: (1994)

Strength of materials. Vol. I /
Autor: Sochor, Miroslav 1937-
Vydáno: (2000)

Introduction to finite fields and their applications /
Autor: Lidl, Rudolf
Vydáno: (1994)

Matematika pre 1. ročník gymnázií a SOŠ. Zošit 3. Planimetria /
Autor: Hecht, Tomáš
Vydáno: (1996)

Teória najmenšieho univerzálneho exponenta /
Autor: László, Béla
Vydáno: (2000)

M. R. Štefánik slovenský astronóm /
Autor: Rušin, Vojtech, 1942-
Vydáno: (1991)

Protein purification : principles, high resolution methods, and applications /
Autor: Janson, Jan-Christer
Vydáno: (2011)

Teorie vyčíslitelnosti /
Autor: Mareš, Jan 1944-
Vydáno: (2008)

Pružnost a pevnost. II. díl /
Autor: Höschl, Cyril 1925-
Vydáno: (1992)

Handbook of Boolean algebras. Vol. 1 /
Autor: Koppelberg, Sabine
Vydáno: (1989)

Structural mechanics 40 /
Autor: Řeřicha, Petr
Vydáno: (2003)

Křivkový a plošný integrál /
Autor: Ženíšek, Alexander 1936-
Vydáno: (1997)

Programming languages and systems : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
Autor: Leroy, Xavier
Vydáno: (2003)

Našiel som Fermatov dôkaz? /
Autor: Chladný, Anton
Vydáno: (1994)

Zbierka úloh z matematickej analýzy. I. diel. Elementy matematickej logiky, množinová algebra a vlastnosti číselných množín /
Autor: Kulcsár, Štefan
Vydáno: (2003)

Defining vocabulary /
Autor: Marček, Ján
Vydáno: (2002)

Solution of electromagnetic fields by finite elements method /
Autor: Ferková, Želmíra
Vydáno: (2001)

Automatizace výrobních procesů s využitím PRaM /
Autor: Vrhel, Bohumil
Vydáno: (1987)

Riešenie elektromagnetických polí pomocou metódy konečných prvkov /
Autor: Ferková, Želmíra
Vydáno: (2001)

Calculus. Vol. II. A course for engineers /
Autor: Pták, Pavel 1947-
Vydáno: (1997)

Quantum optics /
Autor: Scully, Marlan Orvil
Vydáno: (1997)

FERMAT days 85. Mathematics for optimization /
Autor: Attouch, H.
Vydáno: (1986)

Teória pravdepodobnosti :
Autor: Horáková, Galina
Vydáno: (2004)

Matematika 30. Vektorová pole. Doplňkové skriptum /
Autor: Zindulka, Ondřej 1961-
Vydáno: (1999)

Deskriptivní geometrie pro obor geodezie a kartografie /
Autor: Talanda, Pavel
Vydáno: (2000)

Křivkový a plošný integrál /
Autor: Ženíšek, Alexander 1936-
Vydáno: (1999)

Deskriptivní geometrie pro obor geodezie a kartografie /
Autor: Talanda, Pavel
Vydáno: (1999)

Diferenciální počet. I. díl /
Autor: Jankovský, Zdeněk
Vydáno: (2000)

User defined syntax /
Autor: Aasa, Annika
Vydáno: (1992)

Klasická logika /
Autor: Štěpán, Jan
Vydáno: (1992)

Principles and practice of analytical chemistry /
Autor: Fifield, Frederick William
Vydáno: (1990)

On sediment transport in circular sewers with non-cohesive deposits /
Autor: Kleijwegt, Robert Alex
Vydáno: (1992)