ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

rss

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Treffer pro Seite

Treffer 1 - 2 | 2 Treffer

Sortierung

1

Unbekannt

Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983 (1985)

International FCT-Conference (1983 : Borgholm, Sweden)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511 ; LC QA267 ; Computational complexity - Congresses ; Computer science - Mathematics - Congresses ; Machine theory - Congresses

Seiten: Online-Ressource (ix, 187 pages)

ISBN: 9780444876478

URL: http://www.sciencedirect.com/science/publication?issn=03040208&volume=102

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

2

Unbekannt

Intentional mathematics (1985)

Amsterdam ; New York : North-Holland

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511 ; LC QA9.46 ; Constructive mathematics ; Intuitionistic mathematics ; Modality (Logic)

ISBN: 9780444876324

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=113

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

BibTip

Andere fanden auch interessant ...

E-BOOK

Treffer 1 - 2 | 2 Treffer

Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...