Foundations of computer science: potential - theory - cognition
Gespeichert in:
Format: | Buch |
---|---|
Sprache: | English |
Veröffentlicht: |
Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.
Springer
1997
|
Schriftenreihe: | Lecture notes in computer science
1337 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XII, 514 S. Ill., graph. Darst. |
ISBN: | 354063746X |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV011578255 | ||
003 | DE-604 | ||
005 | 20020730 | ||
007 | t | ||
008 | 971007s1997 gw ad|| |||| 10||| eng d | ||
016 | 7 | |a 951625985 |2 DE-101 | |
020 | |a 354063746X |9 3-540-63746-X | ||
035 | |a (OCoLC)246319596 | ||
035 | |a (DE-599)BVBBV011578255 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
049 | |a DE-91G |a DE-384 |a DE-739 |a DE-19 |a DE-20 |a DE-12 |a DE-29T |a DE-706 |a DE-521 |a DE-634 |a DE-83 |a DE-188 | ||
050 | 0 | |a QA76.F6374 1997 | |
082 | 0 | |a 004 21 | |
084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
084 | |a 14 |2 sdnb | ||
084 | |a 11 |2 sdnb | ||
084 | |a DAT 500f |2 stub | ||
084 | |a 28 |2 sdnb | ||
245 | 1 | 0 | |a Foundations of computer science |b potential - theory - cognition |c Christian Freksa ... (ed.) |
264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. |b Springer |c 1997 | |
300 | |a XII, 514 S. |b Ill., graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Lecture notes in computer science |v 1337 | |
650 | 4 | |a Informatik | |
650 | 4 | |a Computer science | |
650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Datenverarbeitung |0 (DE-588)4011152-0 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4143389-0 |a Aufgabensammlung |2 gnd-content | |
655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
689 | 0 | 0 | |a Datenverarbeitung |0 (DE-588)4011152-0 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
689 | 2 | |5 DE-604 | |
700 | 1 | |a Freksa, Christian |e Sonstige |4 oth | |
830 | 0 | |a Lecture notes in computer science |v 1337 |w (DE-604)BV000000607 |9 1337 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007796984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007796984 |
Datensatz im Suchindex
_version_ | 1807323523189833728 |
---|---|
adam_text |
CONTENTS
COMPUTER
SCIENCE
AND
ITS
POTENTIAL
FRIEDRICH
L.
BAUER
THE
MIGHT
OF
FORMULAS
AND
THEIR
LIMITS
.
1
HEINZ
ZEMANEK
HARDWARE
-
SOFTWARE:
AN
EQUIVALENCE
AND
A
CONTRADICTION
.
9
WOLFGANG
COY
DEFINING
DISCIPLINE
.
21
SOCIAL
IMPLICATIONS
OF
COMPUTER
SCIENCE
DIRK
SIEFKES
COMPUTER
SCIENCE
AS
CULTURAL
DEVELOPMENT
.
37
JOZEF
GRUSKA
AND
ROLAND
VOLLMAR
TOWARDS
ADJUSTING
INFORMATICS
EDUCATION
TO
INFORMATION
ERA
.
49
HERBERT
KLAEREN,
CHRISTIANE
FLOYD,
AND
FRIEDRICH
DIESTELMEIER
INFORMATICS
AND
SOCIETY:
A
CURRICULUM
FOR
DISTANCE
EDUCATION
.
69
THEORY
OF
FORMAL
LANGUAGES
AND
AUTOMATA
ALEXANDRU
MATEESCU,
GRZEGORZ
ROZENBERG,
ANDARTO
SALOMAA
SYNTACTIC
AND
SEMANTIC
ASPECTS
OF
PARALLELISM
.
79
INGBERT
KUPKA
UNIQUE
FIXPOINTS
IN
COMPLETE
LATTICES
WITH
APPLICATIONS
TO
FORMAL
LANGUAGES
AND
SEMANTICS
.
107
GEORG
KAMER
AND
WERNER
KUICH
ON
ABSTRACT
FAMILIES
OF
LANGUAGES,
POWER
SERIES,
AND
ELEMENTS
.
117
KLAUS-JBM
LANGE
ARE
THERE
FORMAL
LANGUAGES
COMPLETE
FOR
SYMSPACE
(LOG
N)?
.
125
MATTHIAS
JANTZEN
ON
TWIST-CLOSED
TRIOS:
A
NEW
MORPHIC
CHARACTERIZATION
OF
R.E.
SETS
.
135
JAVIER
ESPARZA
AND
PETER
ROSSMANITH
AN
AUTOMATA
APPROACH
TO
SOME
PROBLEMS
ON
CONTEXT-FREE
GRAMMARS
.
143
X
STRUCTURES
AND
COMPLEXITY
THEORY
KAREL
CULIK
AND
JARKKO
KARI
ON
APERIODIC
SETS
OF
WANG
TILES
.
153
BIRGIT
JENNER
CLOSURE
UNDER
COMPLEMENTATION
OF
LOGSPACE
COMPLEXITY
CLASSES
-
A
SURVEY
.
163
BERND
KIRSIG
A
RELATION
BETWEEN
SPARSE
AND
PRINTABLE
SETS
IN
NSPACE
(LOG
N)
.
177
KLAUS
WEIHRAUCH
A
FOUNDATION
FOR
COMPUTABLE
ANALYSIS
.
185
JURGEN
SCHMIDHUBER
A
COMPUTER
SCIENTIST
'
S
VIEW
OF
LIFE,
THE
UNIVERSE,
AND
EVERYTHING
.
201
MANFRED
KUDLEK
CALENDARS
AND
CHRONOLOGIES
.
209
PETRI
NETS
HARTMUT
EHRIG
AND
JULIA
PADBERG
A
UNIFORM
APPROACH
TO
PETRI
NETS
.
219
ASTRID
KIEHN
OBSERVING
PARTIAL
ORDER
RUNS
OF
PETRI
NETS
.
233
JOSE
MESEGUER,
UGO
MONTANARI,
AND
VLADIMIRO
SASSONE
REPRESENTATION
THEOREMS
FOR
PETRI
NETS
.
239
VOLKER
DIEKERT
A
REMARK
TO
TRACE
EQUATIONS
.
251
EKKART
KINDLER
AND
WOLFGANG
REISIG
VERIFICATION
OF
DISTRIBUTED
ALGORITHMS
WITH
ALGEBRAIC
PETRI
NETS
.
261
WALTER
VOGLER
A
SHORT
STORY
ON
ACTION
REFINEMENT
.
271
SYSTEMS
ANALYSIS
AND
DISTRIBUTED
SYSTEMS
MANFRED
BROY
INTERACTIVE
AND
REACTIVE
SYSTEMS:
STATES,
OBERSERVATIONS,
EXPERIMENTS,
INPUT,
OUTPUT,
NONDETERMINISM,
COMPOSITIONALITY,
AND
ALL
THAT
.
279
XI
HANS
DADUNA
DISCRETE
TIME
ANALYSIS
OF
A
STATE
DEPENDENT
TANDEM
WITH
DIFFERENT
CUSTOMER
TYPES
.
287
JORG
DESEL
HOW
DISTRIBUTED
ALGORITHMS
PLAY
THE
TOKEN
GAME
.
297
ROLF
WALTER
THE
ASYNCHRONOUS
STACK
REVISITED:
ROUNDS
SET
THE
TWILIGHT
REELING
.
307
BURKHARD
MONIEN,
PETRA
BERENBRINK,
REINHARD
LULING,
AND
MARCO
RIEDEL
ONLINE
SCHEDULING
OF
CONTINUOUS
MEDIA
STREAMS
.
313
SOFTWARE
ENGINEERING
AND
VERIFICATION
HANS
LANGMAACK
CONTRIBUTION
TO
GOODENOUGH
'
S
AND
GERHART
'
S
THEORY
OF
SOFTWARE
TESTING
AND
VERIFICATION:
RELATION
BETWEEN
STRONG
COMPILER
TEST
AND
COMPILER
IMPLEMENTATION
VERIFICATION
.
321
GUNTER
HOTZ
AND
HONGZHONG
WU
ON
THE
ARRANGEMENT
COMPLEXITY
OF
UNIFORM
TREES
.
337
HAROLD
BOLEY
A
RELATIONAL-FUNCTIONAL
INTEGRATION
FOR
DECLARATIVE
PROGRAMMING
.
351
COGNITION
AND
ARTIFICIAL
INTELLIGENCE
SIEGFRIED
KANNGIEFIER
INSIDE
AND
OUTSIDE
THE
CHINESE
ROOM
.
359
CHRISTOPHER
HABEL
AND
CAROLA
ESCHENBACH
ABSTRACT
STRUCTURES
IN
SPATIAL
COGNITION
.
369
CHRISTIAN
FREKSA
SPATIAL
AND
TEMPORAL
STRUCTURES
IN
COGNITIVE
PROCESSES
.
379
KNOWLEDGE
REPRESENTATION
AND
REASONING
DANIEL
HERNANDEZ
QUALITATIVE
VS.
FUZZY
REPRESENTATIONS
OF
SPATIAL
DISTANCE
.
389
SIMONE
PRIBBENOW
WHAT
'
S
A
PART?
ON
FORMALIZING
PART-WHOLE
RELATIONS
.
399
XII
CLAUS
R.
ROLLINGER
SPOCK:
A
FEASIBILITY
STUDY
ON
THE
COMPLETENESS
OF
PARTS
LISTS
.
407
KERSTIN
SCHILL
DECISION
SUPPORT
SYSTEMS
WITH
ADAPTIVE
REASONING
STRATEGIES
.
417
MACHINE
LEARNING
KATHARINA
MORIK
KNOWLEDGE
DISCOVERY
IN
DATABASES
-
AN
INDUCTIVE
LOGIC
PROGRAMMING
APPROACH
.
429
KURT
AMMON
THE
COMPOSITION
HEURISTIC
.
437
GERHARD
WEIJ3
THE
JOB
ASSIGNMENT
PROBLEM:
A
STUDY
IN
PARALLEL
AND
DISTRIBUTED
MACHINE
LEARNING
.
445
MOHAMED
SALAH
HAMDI
AND
KARL
KAISER
SELF-IMPROVING
BEHAVIOR
ARBITRATION
.
455
NEURAL
NETWORKS
AND
ROBOTICS
MARGIT
STURM
NEURAL
NETWORKS
FOR
MANIPULATOR
PATH
PLANNING
.
465
MARTIN
ELDRACHER
AND
THOMAS
PIC
PATH
PLANNING
USING
A
SUBGOAL
GRAPH
.
473
CHRISTIAN
SCHITTENKOPF
AND
GUSTAVO
DECO
A
NONLINEAR
MARKOVIAN
CHARACTERIZATION
OF
TIME
SERIES
USING
NEURAL
NETWORKS
.
481
LANGUAGE
AND
INFORMATION
SYSTEMS
GABRIELE
SCHEIER
FEATURE-BASED
PERCEPTION
OF
SEMANTIC
CONCEPTS
.
489
GERDA
RUGE
AUTOMATIC
DETECTION
OF
THESAURUS
RELATIONS
FOR
INFORMATION
RETRIEVAL
APPLICATIONS
.
499
LEO
PFEFFERER
AND
DIETER
SCHUTT
INFOSPHEREYY-V
:
A
NEW
APPROACH
TO
3D
VISUALIZATION
OF
INFORMATION
.
507
AUTHOR
INDEX
.
515 |
any_adam_object | 1 |
building | Verbundindex |
bvnumber | BV011578255 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.F6374 1997 |
callnumber-search | QA76.F6374 1997 |
callnumber-sort | QA 276 F6374 41997 |
callnumber-subject | QA - Mathematics |
classification_rvk | SS 4800 |
classification_tum | DAT 500f |
ctrlnum | (OCoLC)246319596 (DE-599)BVBBV011578255 |
dewey-full | 00421 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004 21 |
dewey-search | 004 21 |
dewey-sort | 14 221 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011578255</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20020730</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">971007s1997 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">951625985</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">354063746X</subfield><subfield code="9">3-540-63746-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246319596</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011578255</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.F6374 1997</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004 21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">14</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">11</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of computer science</subfield><subfield code="b">potential - theory - cognition</subfield><subfield code="c">Christian Freksa ... (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 514 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1337</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143389-0</subfield><subfield code="a">Aufgabensammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Freksa, Christian</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1337</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1337</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007796984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007796984</subfield></datafield></record></collection> |
genre | (DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
genre_facet | Aufgabensammlung Aufsatzsammlung Konferenzschrift |
id | DE-604.BV011578255 |
illustrated | Illustrated |
indexdate | 2024-08-14T01:13:43Z |
institution | BVB |
isbn | 354063746X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007796984 |
oclc_num | 246319596 |
open_access_boolean | |
owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-29T DE-706 DE-521 DE-634 DE-83 DE-188 |
owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-19 DE-BY-UBM DE-20 DE-12 DE-29T DE-706 DE-521 DE-634 DE-83 DE-188 |
physical | XII, 514 S. Ill., graph. Darst. |
publishDate | 1997 |
publishDateSearch | 1997 |
publishDateSort | 1997 |
publisher | Springer |
record_format | marc |
series | Lecture notes in computer science |
series2 | Lecture notes in computer science |
spelling | Foundations of computer science potential - theory - cognition Christian Freksa ... (ed.) Berlin ; Heidelberg ; New York ; Barcelona ; Budapest u.a. Springer 1997 XII, 514 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1337 Informatik Computer science Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Datenverarbeitung (DE-588)4011152-0 gnd rswk-swf (DE-588)4143389-0 Aufgabensammlung gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Datenverarbeitung (DE-588)4011152-0 s DE-604 Informatik (DE-588)4026894-9 s Theoretische Informatik (DE-588)4196735-5 s Freksa, Christian Sonstige oth Lecture notes in computer science 1337 (DE-604)BV000000607 1337 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007796984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Foundations of computer science potential - theory - cognition Lecture notes in computer science Informatik Computer science Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)4011152-0 (DE-588)4143389-0 (DE-588)4143413-4 (DE-588)1071861417 |
title | Foundations of computer science potential - theory - cognition |
title_auth | Foundations of computer science potential - theory - cognition |
title_exact_search | Foundations of computer science potential - theory - cognition |
title_full | Foundations of computer science potential - theory - cognition Christian Freksa ... (ed.) |
title_fullStr | Foundations of computer science potential - theory - cognition Christian Freksa ... (ed.) |
title_full_unstemmed | Foundations of computer science potential - theory - cognition Christian Freksa ... (ed.) |
title_short | Foundations of computer science |
title_sort | foundations of computer science potential theory cognition |
title_sub | potential - theory - cognition |
topic | Informatik Computer science Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Datenverarbeitung (DE-588)4011152-0 gnd |
topic_facet | Informatik Computer science Theoretische Informatik Datenverarbeitung Aufgabensammlung Aufsatzsammlung Konferenzschrift |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007796984&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
volume_link | (DE-604)BV000000607 |
work_keys_str_mv | AT freksachristian foundationsofcomputersciencepotentialtheorycognition |