Skip to contents

Dešerieva, Tamara I. [Author]

Formalizacija i kategorizacija v raznostrukturnych jazykach

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Rossijskaja Akademija Nauk, Institut Jazykoznanija, 1996
Nolin, Louis [Author]

Formalisation des notions de machine et de programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Paris: Gauthier-Villars, 1969

Published in: Collection programmation
Stolarski, Daniel [Author]

Die Mathematisierung des Geistes : Algebra, Analysis und die Schriftlichkeit mentaler Prozesse bei René Descartes

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien; Berlin; Münster: LIT, 2009

Published in: Philosophie ; 75
Simons, Martin [Author]

The presentation of formal proofs

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

München; Wien: Oldenbourg, 1997

Published in: GMD-Forschungszentrum Informationstechnik: GMD-Bericht ; 278
Hallebeek, Jos [Author]

A formal approach to Spanish syntax

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Rodopi, 1992

Published in: Language and computers ; 7
Kambartel, Friedrich [Author]

Erfahrung und Struktur : Bausteine zu einer Kritik des Empirismus und Formalismus - [2. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main: Suhrkamp, 1976

Published in: Theorie ; Reihe 2
Rogers, Robert C. [Author]; Rogers, Robert [Author]

Mathematical logic and formalized theories : a survey of basic concepts and results

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Co., 1971
Cvetkov, Viktor D. [Author]

Sistema avtomatizacii proektirovanija technologičeskich processov

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Mašinostroenie, 1972
Wang, Jün-Tin [Author]

Zur Anwendung kombinatorischer Verfahren der Logik auf die Formalisierung der Syntax

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1969
Nickel, Gregor [Editor]; Helmerich, Markus Alexander [Editor]; Krömer, Ralf [Editor]; Lengnink, Katja [Editor]; Rathgeb, Martin [Editor] ; Mathematik und Gesellschaft - Historische, Philosophische und Didaktische Perspektiven Veranstaltung 2015 Ebsdorfergrund-Rauischholzhausen, Springer Fachmedien Wiesbaden

Mathematik und Gesellschaft : historische, philosophische und didaktische Perspektiven

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden; [Heidelberg]: Springer Spektrum, [2018]
Eulenhöfer, Peter [Author]

Die formale Orientierung der Informatik : zur mathematischen Tradition der Disziplin in der Bundesrepublik Deutschland

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1999 ; Mikrofiche-Ausg.
Fiedler, Herbert [Author]; Barthel, Thomas [Author]; Voogd, Gerhard [Author]

Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Opladen: Westdeutscher Verlag, 1984

Published in: Nordrhein-Westfalen: Forschungsberichte des Landes Nordrhein-Westfalen ; 3180
Auinger, Herbert [Author]

Mißbrauchte Mathematik : zur Verwendung mathematischer Methoden in den Sozialwissenschaften

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main; Berlin [u.a.]: Lang, 1995

Published in: Europäische Hochschulschriften / 20 ; 477
Barrow, John D. [Author]

Warum die Welt mathematisch ist

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt/Main [u.a.]: Campus-Verl. [u.a.], 1993 ; Paris: Ed. de la Fondation Maison des Sciences de l'Homme, 1993

Published in: Edition Pandora ; 19 - Edition Pandora / Europäische Vorlesungen ; 3
Davis, Philip J. [Author]; Hersh, Reuben [Author]

Descartes' Traum : über die Mathematisierung von Zeit und Raum; von denkenden Computern, Politik und Liebe - [unkorr. Leseprobe]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Frankfurt a. M.], 1988
Booss-Bavnbek, Bernhelm [Editor]

Mathematisierung der Einzelwissenschaften : Biologie, Chemie, Erdwissenschaften, Geschichtswissenschaft, Linguistik, Medizin, Pädagogik, Physik, Psychologie, Rechtswissenschaft, Soziologie, Theologie, Wirtschaftswissenschaft - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Basel; Stuttgart: Birkhäuser, 1976

Published in: Interdisciplinary systems research ; 24
Grundlagenstudien aus Kybernetik und Geisteswissenschaft : internationale Zeitschrift für Modellierung und Mathematisierung in den Humanwissenschaften

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

San Marino [u.a.]; Paderborn: Akademia Libroservo, 1960-[2016] ; Stuttgart: Grundlagenstudien, früher ; Hannover: Schroedel, früher ; Dortmund: Verl. Modernes Lernen, früher ; Paderborn: AL, Akad. Libroservo, früher ; Paderborn: IfK, früher ; [Wechselnde Verlagsorte], 1960-1992 / 1.1960 - 22.1981,3; 23.1982 -Band 57, Heft 4 (Dez. 2016) ; damit Erscheinen eingestellt
Friedman, Michael [Author]; Seppi, Angelika [Author] ; Tomšič, Samo [Writer of added text] Spector Books OHG

Grenzen der Formalisierung : von Leibniz bis Lacan

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leipzig: Spector Books, [2021]

Published in: ilinx.kollaborationen ; 4
Schnieder, Lars [Author]

Formalisierte Terminologien technischer Systeme und ihrer Zuverlässigkeit

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig: Inst. für Verkehrssystemtechnik, 2010

Published in: Institut für Verkehrssystemtechnik: Berichte aus dem DLR-Institut für Verkehrssystemtechnik ; 10
Gensler, Harry J. [Author]

Formal ethics - [1. publ.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: Routledge, 1996

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication