Catalog

Record Details

Catalog Search

[ 2 filters applied ]

Back To Results
Showing Item 8 of 16
Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes Cover Image E-book E-book

Lectures on Logic and Computation ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Bezhanishvili, Nick. (editor.). Goranko, Valentin. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642314858
  • Physical Description: electronic
    electronic resource
    access
    remote
    VIII, 265 p. 41 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject: Computer science
Computer software
Logic design
Computational complexity
Artificial intelligence
Logic, Symbolic and mathematical
Computer Science
Logics and Meanings of Programs
Algorithm Analysis and Problem Complexity
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Artificial Intelligence (incl. Robotics)

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02151nam a22005415i 4500
00142292
003CONS
00520130727041928.0
007cr nn 008mamaa
008120622s2012 gw | s |||| 0|eng d
020 . ‡a9783642314858 ‡9978-3-642-31485-8
0247 . ‡a10.1007/978-3-642-31485-8 ‡2doi
035 . ‡a(DE-He213)978-3-642-31485-8
050 4. ‡aQA76.9.L63
050 4. ‡aQA76.5913
050 4. ‡aQA76.63
072 7. ‡aUM ‡2bicssc
072 7. ‡aUYF ‡2bicssc
072 7. ‡aCOM051000 ‡2bisacsh
072 7. ‡aCOM036000 ‡2bisacsh
1001 . ‡aBezhanishvili, Nick. ‡eeditor.
24510. ‡aLectures on Logic and Computation ‡h[electronic resource] : ‡bESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes / ‡cedited by Nick Bezhanishvili, Valentin Goranko.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2012.
300 . ‡aVIII, 265 p. 41 illus. ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7388
650 0. ‡aComputer science.
650 0. ‡aComputer software.
650 0. ‡aLogic design.
650 0. ‡aComputational complexity.
650 0. ‡aArtificial intelligence.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aComputer Science.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aAlgorithm Analysis and Problem Complexity.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aMathematical Logic and Foundations.
65024. ‡aDiscrete Mathematics in Computer Science.
65024. ‡aArtificial Intelligence (incl. Robotics).
7001 . ‡aGoranko, Valentin. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642314841
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v7388
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-31485-8 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a42292 ‡b ‡c42292 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 8 of 16

Additional Resources