QR-Code

Connecting informal and formal mathematics /

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Elbers, Hugo Johannes
Format:	Abschlussarbeit Buch
Sprache:	Englisch
Veröffentlicht:	Eindhoven : Technická univerzita, 1998
Ausgabe:	[1st ed.]
Schlagworte:	logika vyššieho rádu > LEGO > matematický jazyk
ISBN:	9038606117
Online-Zugang:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Computer science. Vol. 1 /
von: Warford, J. Stanley
Veröffentlicht: (1991)

Nonlinear propagation of optical pulses and beams /
von: Karlsson, Magnus
Veröffentlicht: (1994)

Foundations of software science and computation structures : Proceedings, Warsaw, Poland, April 7 - 11, 2003 /
von: Abramsky, Samson
Veröffentlicht: (2003)

The evolution of type theory in logic and mathematics /
von: Laan, Twan Dismas Laurens
Veröffentlicht: (1997)

Formal techniques for verification of complex real-time systems /
von: Geilen, Marc Constantijn Willem
Veröffentlicht: (2002)

Modeling telecom networks and systems architecture. Conceptual tools and formal methods /
von: Muth, Thomas
Veröffentlicht: (2001)

The power of mathematics /
von: Flato, Moshé
Veröffentlicht: (1992)

Úvod do analytické mechaniky a mechaniky kontinua /
von: Macur, Milan
Veröffentlicht: (2010)

Mathematized humanities via humanized mathematics /
von: Polák, Václav
Veröffentlicht: (1992)

Mathematics.
von: Velichová, Daniela 1951-
Veröffentlicht: (2014)

Mathematics.
von: Velichová, Daniela 1951-
Veröffentlicht: (2016)

Mathematical models in metallurgical process development : proceedings of the conference
Veröffentlicht: (1970)

Specification and compositional verification of real-time systems /
von: Hooman, Jozef Johannes Maria
Veröffentlicht: (1991)

Fundamentals of mathematics /
von: Setek, William M. Jr
Veröffentlicht: (1989)

Mathematics dictionary /
von: James, Robert C.
Veröffentlicht: (1992)

Connections in steel structures. Behaviour, strength and design : Proceedings of a state-of-the-art workshop, Cachan, France, 25 - 27 May 1987 /
von: Bjorhovde, Reidar
Veröffentlicht: (1988)

Acta Mathematica et Informatica Universitatis Ostraviensis. Vol. 3. 1995. No. 1 /
von: Boháč, Zdeněk
Veröffentlicht: (1995)

Learning MATLAB /
von: Driscoll, Tobin A. (Tobin Allen) 1969-
Veröffentlicht: (2009)

Discrete mathematics. A unified approach /
von: Wiitala, Stephen A.
Veröffentlicht: (1987)

Formal semantics of programming languages /
Veröffentlicht: (1972)

Fundamentals of mathematics /
von: Setek, William M. Jr
Veröffentlicht: (1989)

Klasická logika /
von: Štěpán, Jan
Veröffentlicht: (1992)

Discrete mathematics /
von: Dossey, John A.
Veröffentlicht: (2006)

Verfahren zur Behandlung zeitlicher Beziehungen in Echtzeitexpertensystemen und zur Integration wissensbasierter Komponenten in Automatisierungssysteme /
von: Beck, Thomas
Veröffentlicht: (1992)

Logika /
von: Bek, Roman
Veröffentlicht: (2000)

MAGIA - UWPM 2004. Mathematics, geometry and their applications. Universal workshop of pseudo-mathematics : Conf, Kočovce, Austria, Oct. 15 - 17, 2004 /
von: Cintula, Petr
Veröffentlicht: (2004)

Mathematical proofs. A transition to advanced mathematics /
von: Chartrand, Gary
Veröffentlicht: (2003)

Maths for computing and information technology /
von: Giannasi, Frank
Veröffentlicht: (1995)

Základy logiky pre spoločenskovedné a humanitné odbory /
von: Zouhar, Marián
Veröffentlicht: (2008)

Logika /
von: Bek, Roman
Veröffentlicht: (2001)

Homogenization of differential operators and integral functionals /
von: Jikov, V. V.
Veröffentlicht: (1994)

Olejárova encyklopédia logiky : základné pojmy /
von: Olejár, Marián sr
Veröffentlicht: (2016)

Zborník Pedagogickej fakulty v Nitre.
von: Vrábelová, Marta
Veröffentlicht: (1991)

Řady /
von: Průcha, Ladislav
Veröffentlicht: (2005)

Formal specification and analysis of industrial systems /
von: Bos, Victor
Veröffentlicht: (2002)

Issledovanija po matematičeskoj lingvistike, matematičeskoj logike i informacionnym jazykam /
von: Smockij, E. D.
Veröffentlicht: (1972)

First ACM and IEEE international conference on formal methods and models for co-design. MEMOCODE'03 : Proceedings, Mont Saint-Michel, France, 24 - 26 June 2003 /
von: Meseguer, José
Veröffentlicht: (2003)

Úvod do logiky /
von: Benyovszky, Ladislav
Veröffentlicht: (1993)

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

Mathematical logic and formalized theories : a survey of basic concepts and results /
von: Rogers, Robert
Veröffentlicht: (1974)