QR kód

Logic colloquium '85 : Proceedings of the colloquium, Orsay, France, July 1985 /

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Burdman Feferman, Anita
Korporativní autor:	Proceedings of the colloquium France, Orsay
Médium:	Konferenční příspěvek Kniha
Jazyk:	angličtina
Vydáno:	Amsterdam : North-Holland Publishing, 1987
Vydání:	[1st ed.]
Edice:	Studies in logic and the foundations of mathematics Vol. 122
Témata:	matematická logika > symbolická teória geometrickej stability > iterácia
ISBN:	0444702113
On-line přístup:
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky

Maths for computing and information technology /
Autor: Giannasi, Frank
Vydáno: (1995)

Matematyczna teoria stabilności /
Autor: Demidowicz, B. P.
Vydáno: (1972)

Laser radar-based range imaging with application in shape measurement and machine control /
Autor: Moring, Ilkka
Vydáno: (1995)

Notes on the limits to knowledge explored with Darwinian logic /
Autor: Marchetti, Cesare
Vydáno: (1998)

On Picard-type theorems and boundary behavior of quasiregular mappings /
Autor: Kankaanpää, Jouni
Vydáno: (1997)

Non-classical logics, model theory, and computability : proceedings of the 3rd Latin-American symposium on mathematical logic ; Campinas, Brazil, July 11-17, 1976 /
Vydáno: (1977)

Metoda rozdělování sil a momentů se zkrácenou iterací /
Autor: Dašek, Václav
Vydáno: (1966)

Logic colloquium ́77 : proceedings of the colloquium held in Wroclaw, August 1977 /
Autor: Doner, John E.
Vydáno: (1978)

Carl J. Couch and the Iowa School : in his own words and in reflection /
Vydáno: (2017)

Logic. Colloquium '88 : Proceedings of the colloquium, Padova, Italy, August 22 - 31, 1988 /
Autor: Baudisch, Andreas
Vydáno: (1989)

The evolution of type theory in logic and mathematics /
Autor: Laan, Twan Dismas Laurens
Vydáno: (1997)

Matematická logika : určeno pro posluchače přírodověd. fak. /
Autor: Dymáček, Michael, 1943-
Vydáno: (1968)

Symbolic image interpretation by parsing, interpreting, and pruning /
Autor: Truvé, Staffan
Vydáno: (1992)

ACM transactions on computational logic
Vydáno: (2000)

Deductive databases and logic programming /
Autor: Das, Subrata Kumar
Vydáno: (1992)

Vvedenije v matematičeskuju logiku.
Autor: Church, Alonzo
Vydáno: (1960)

Vvedenije v matematičeskuju logiku /
Autor: Mendelson, Elliott
Vydáno: (1971)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
Autor: Drábek, Jaroslav
Vydáno: (1986)

Zaujímavá logika /
Autor: Bizám, György
Vydáno: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
Autor: Odvárko, Oldřich 1938-
Vydáno: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
Autor: Petrovič, Pavol
Vydáno: (2002)

Fractal geometry. Mathematical foundations and applications /
Autor: Falconer, Kenneth
Vydáno: (1995)

Funkcionálne a logické programovanie /
Autor: Bieliková, Mária 1966-
Vydáno: (1997)

Nelinejnyje kolebanija i teorija ustojčivosti /
Autor: Rozo, Moris
Vydáno: (1971)

Metody teorii ustojčivosti v dinamike jadernych reaktorov /
Autor: Gorjačenko, Vadim Demjanovič
Vydáno: (1971)

Digital logic : basic theory and practice /
Autor: Smith, J. H.
Vydáno: (1971)

Vsja vysšaja matematika.
Autor: Krasnov, Michail Leonťjevič
Vydáno: (2005)

Metoda GUHA /
Autor: Hájek, Petr 1955-
Vydáno: (1977)

Stahlbau für den IV. und V. Jahrgang an höheren technischen und gewerblichen Lehranstalten /
Autor: Ramberger, Günter
Vydáno: (1997)

Obyknovennyje differenciaľnyje uravnenija s priloženijami /
Autor: Jegorov, Aleksandr Ivanovič
Vydáno: (2005)

Zeitschrift für mathematische Logik u. Grundlagen der Mathematik

Diferenciálny počet /
Autor: Fulier, Jozef 1951-
Vydáno: (1997)

Mathematical proofs. A transition to advanced mathematics /
Autor: Chartrand, Gary
Vydáno: (2003)

The single currency and the European Parliament /
Vydáno: (1998)

Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
Autor: Smockij, E. D.
Vydáno: (1972)

Diferenciální rovnice. Laplaceova transformace /
Autor: Pták, Pavel 1947-
Vydáno: (1997)

Sbírka úloh z elementární aritmetiky s pokyny k řešení /
Autor: Bělík, Miroslav
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)

Proceedings of the 4th colloquium on microwave communication : 21 - 24 April 1970.
Vydáno: (1970)

Proceedings of the 4th colloquium on microwave communication : 21 - 24 April 1970.
Vydáno: (1970)