ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hits 1 - 3 | 3 hits

Sorting

Unknown

Theories of computational complexity (1988)

Amsterdam ; New York : North-Holland

add to mindlist on the mindlist

Details

Keywords: DDC 511 ; LC QA267 ; Computational complexity

Pages: Online-Ressource (xiii, 487 pages)

ISBN: 9780444703569

URL: http://www.sciencedirect.com/science/publication?issn=01675060&volume=35

Language: English

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

E-BOOK

Fulltext

Unknown

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

add to mindlist on the mindlist

Details

Keywords: DDC 511 ; LC QA267 ; Computational complexity - Congresses ; Computer science - Mathematics - Congresses ; Machine theory - Congresses

Pages: Online-Ressource (ix, 187 pages)

ISBN: 9780444876478

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

Language: English

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

E-BOOK

Fulltext

Unknown

Intentional mathematics (1985)

Amsterdam ; New York : North-Holland

add to mindlist on the mindlist

Details

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

ISBN: 9780444876324

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

Language: English

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

E-BOOK

Fulltext

hits 1 - 3 | 3 hits