Skip to contents

Smullyan, Raymond M. [Author]

Teorija formalʹnych sistem

Close

Bookmarks

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

Moskva: Nauka, 1981

Published in: Matematičeskaja logika i osnovanija matematiki
Smullyan, Raymond M. [Author]

Theory of formal systems

Close

Bookmarks

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

Princeton, NJ: Princeton Univ. Press, 1961

Published in: Annals of mathematics studies ; 47
Smullyan, Raymond M. [Author]

Theory of formal systems - [Rev. ed.]

Close

Bookmarks

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

Princeton, NJ: Princeton Univ. Press, 1961

Published in: Annals of mathematics studies ; 47,rev
Baudisch, Andreas [Other]

Decidability and generalized quantifiers

View online
Schließen

Close

Bookmarks

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

Berlin: Akademie-Verl., 1980

Published in: Mathematical research ; 3
Andréka, Hajnal [Author] ; Givant, Steven R. [Other]; Nemeti, Istvan [Other]

Decision problems for equational theories of relation algebras

View online
Schließen

Close

Bookmarks

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

Providence, RI: American Mathematical Society, 1997

Published in: American Mathematical Society: Memoirs of the American Mathematical Society ; 604
Otto, Friedrich [Author]; Zhang, Louxin [Author]

Decision problems in special monoids

Close

Bookmarks

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

Kaiserslautern: Univ., FB Informatik, 1989

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 193
Fohmann, Lothar H. [Author]

Die informationale Programmiersprache IPL : Studie zur Operationalisierung regelorientierter schlechtdefinierter nichtschematischer Entscheidungen

Close

Bookmarks

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

München [u.a.]: Oldenbourg, 1985

Published in: Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; 147
Dreben, Burton [Author]; Goldfarb, Warren D. [Author]

The decision problem : solvable classes of quantificational formulas

View online
Schließen

Close

Bookmarks

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

Reading, Mass. [u.a.]: Addison-Wesley, 1979
Börger, Egon [Author]; Grädel, Erich [Author]; Gurevič, Jurij [Author] ; Gurevich, Yuri [Other]

The classical decision problem - [2. printing of the 1. ed.]

View online
Schließen

Close

Bookmarks

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

Berlin [u.a.]: Springer, 2001

Published in: Universitext
Dichtl, Erwin [Author] ; Raffée, Hans [Other]; Niedetzky, Hans-Manfred [Other]

Reisende oder Handelsvertreter : eine Anleitung zur Lösung eines Entscheidungsproblems mit praktischen Vorschlägen

Close

Bookmarks

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

München: Beck, 1981

Published in: Aktueller Betrieb
Loeckx, Jacques [Author]

Computability and decidability : an introduction for students of computer science

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg [u.a.]: Springer, 1972

Published in: Lecture notes in economics and mathematical systems ; 68
Börger, Egon [Author] ; Grädel, Erich [Other]; Gurevič, Jurij [Other]; Gurevich, Yuri [Other]

The classical decision problem

View online
Schließen

Close

Bookmarks

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

Berlin; Heidelberg; New York; Barcelona; Budapest; Hong Kong; London; Milan; Paris; Santa Clara; Singapore; Tokyo: Springer, 1997

Published in: Perspectives in mathematical logic
Boone, William [Other] ; Conference Decision Problems in Group Theory 1969 Irvine, Calif

Word problems / [1], Decision problems and the Burnside problem in group theory : Conference 'Decision Problems in Group Theory', held at the Univ. of Calif., Irivine, Sept. 1969 / ed. by W. W. Boone

Close

Bookmarks

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

Amsterdam: North-Holland Publ. Comp., 1973

Published in: Word problems ; [1] - Studies in logic and the foundations of mathematics ; 71
Simanowski, Roberto [Author]

Todesalgorithmus : das Dilemma der künstlichen Intelligenz - [Deutsche Erstausgabe]

View online
Schließen

Close

Bookmarks

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

Wien: Passagen Verlag, [2020]

Published in: Passagen Thema
Pontow, Stephan [Author] ; Meyer, Wolfgang [Other]; Lunze, Jan [Other] Technische Universität Hamburg-Harburg Arbeitsbereich für Prozessautomatisierungstechnik

Theorie und Anwendung constraintbasierter Planungsverfahren - [Als Ms. gedr.]

Close

Bookmarks

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

Aachen: Shaker, 2000

Published in: Berichte aus der Informatik
Bokut', Leonid A. [Author]; Kukin, G. P. [Author]

Algorithmic and combinatorial algebra

View online
Schließen

Close

Bookmarks

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

Dordrecht [u.a.]: Kluwer Acad. Publ., 1994

Published in: Mathematics and its applications ; 25500
Weise, Carsten [Author]

Entscheidungsalgorithmen für Äquivalenzen in Echtzeit-Prozeßkalkülen mit dichtem Zeitbereich

Close

Bookmarks

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

1995
Stegmüller, Wolfgang [Author]

Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Close

Bookmarks

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

Wien: Springer, 1959
Gunderson, Dörte [Author]

Untersuchungen zur Konstruktivität des Bar-Theorems (Brouwer 1954)

Close

Bookmarks

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

1990
Hermes, Hans [Author]

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : Einführung in die Theorie der rekursiven Funktionen

Close

Bookmarks

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

Berlin; Göttingen; Heidelberg: Springer, 1961

Published in: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen ; 109

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