Coverart for item
The Resource Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings, Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), (electronic book)

Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings, Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), (electronic book)

Label
Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
Title
Logic and theory of algorithms
Title remainder
4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings
Statement of responsibility
Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.)
Title variation
CiE 2008
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
LC call number
QA9.59
LC item number
.C67 2008eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2008
http://bibfra.me/vocab/lite/meetingName
Conference on Computability in Europe
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Beckmann, Arnold
  • Dimitracopoulos, Costas
  • Löwe, Benedikt
Series statement
  • Lecture notes in computer science,
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Series volume
5028
http://library.link/vocab/subjectName
  • Computable functions
  • Computational intelligence
  • Logic, Symbolic and mathematical
  • Algorithms
Summary expansion
This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation
Label
Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings, Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), (electronic book)
Instantiates
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR272312578
Dimensions
unknown
Extent
1 online resource (xix, 596 p.)
Form of item
online
Isbn
9783540694052
Other physical details
ill.
Specific material designation
remote
Label
Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings, Arnold Beckmann, Costas Dimitracopoulos, Benedikt Löwe (eds.), (electronic book)
Publication
Note
International conference proceedings
Bibliography note
Includes bibliographical references and index
Color
multicolored
Control code
SPR272312578
Dimensions
unknown
Extent
1 online resource (xix, 596 p.)
Form of item
online
Isbn
9783540694052
Other physical details
ill.
Specific material designation
remote

Library Locations

Processing Feedback ...