Coverart for item
The Resource 22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007, sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007, sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Label
22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007
Title
22nd Annual IEEE Symposium on Logic in Computer Science
Title remainder
proceedings : Wrocław, Poland, 10-14 July, 2007
Statement of responsibility
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Title variation
  • LICS 2007
  • IEEE Symposium on Logic in Computer Science
  • Logic in Computer Science, 2007, LICS 2007, 22nd Annual IEEE Symposium on
  • 22nd Annual IEEE Symposium on Logic in Computer Science, 2007, LICS 2007
Creator
Contributor
Subject
Genre
Language
eng
Summary
Annotation
Member of
Cataloging source
HNK
Illustrations
illustrations
Index
index present
LC call number
QA75.5
LC item number
.S9574 2007eb
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
2007
http://bibfra.me/vocab/lite/meetingName
Symposium on Logic in Computer Science
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • IEEE Computer Society
  • IEEE Computer Society
http://library.link/vocab/subjectName
  • Electronic data processing
  • Computer programming
  • Computer science
  • Computer programs
  • Logic, Symbolic and mathematical
Summary expansion
LICS is an annual international symposium on theoretical and practical topics in computer science focusing on the field of logic. The proceedings looks at finite model theory, formal aspects of program analysis, formal methods, logical aspects of computational complexity, logics in AI, logics of programs, and logic programming. LICS 2007 also concentrates on the latest research on automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, and domain theory.Contents: Type Theory; Computational Proof Theory; Security; Timed and Stochastic Systems; Verification; Constraints; Proof Complexity; Finite Model Theory; Concurrency and Process Calculi; Semantics of Programming Languages; Game Semantics; Linear Logic; Topology and Computable Mathematics
Label
22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007, sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Instantiates
Publication
Note
"IEEE Computer Society Order Number P2908"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE167472995
Dimensions
unknown
Extent
1 online resource (xiii, 474 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn167472995
  • (OCoLC)167472995
Label
22nd Annual IEEE Symposium on Logic in Computer Science : proceedings : Wrocław, Poland, 10-14 July, 2007, sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Publication
Note
"IEEE Computer Society Order Number P2908"--Title page verso
Bibliography note
Includes bibliographical references and index
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
multicolored
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Control code
IEEE167472995
Dimensions
unknown
Extent
1 online resource (xiii, 474 pages)
Form of item
online
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other physical details
illustrations
Sound
unknown sound
Specific material designation
remote
System control number
  • ocn167472995
  • (OCoLC)167472995

Library Locations

Processing Feedback ...