Catalog

Record Details

Catalog Search


Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings Cover Image E-book E-book

Logic, Language, Information, and Computation [electronic resource] : 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / edited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz.

Libkin, Leonid. (editor.). Kohlenbach, Ulrich. (editor.). Queiroz, Ruy. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642399923
  • Physical Description: X, 283 p. 15 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Subject: Computer science.
Algebra > Data processing.
Artificial intelligence.
Computer Science.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).
Symbolic and Algebraic Manipulation.
Computer Science, general.
Computer Science, general.
Computer Science, general.

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 01977nam a22004815i 4500
00132464
003CONS
00520130818033238.0
007cr nn 008mamaa
008130814s2013 gw | s |||| 0|eng d
020 . ‡a9783642399923 ‡9978-3-642-39992-3
0247 . ‡a10.1007/978-3-642-39992-3 ‡2doi
035 . ‡a(DE-He213)978-3-642-39992-3
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aLibkin, Leonid. ‡eeditor.
24510. ‡aLogic, Language, Information, and Computation ‡h[electronic resource] : ‡b20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings / ‡cedited by Leonid Libkin, Ulrich Kohlenbach, Ruy Queiroz.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg : ‡bImprint: Springer, ‡c2013.
300 . ‡aX, 283 p. 15 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 ; ‡v8071
650 0. ‡aComputer science.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aArtificial intelligence.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aArtificial Intelligence (incl. Robotics).
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aComputer Science, general.
65024. ‡aComputer Science, general.
65024. ‡aComputer Science, general.
7001 . ‡aKohlenbach, Ulrich. ‡eeditor.
7001 . ‡aQueiroz, Ruy. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642399916
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v8071
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-39992-3 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a32464 ‡b ‡c32464 ‡tbiblio ‡sSystem Local

Additional Resources