Catalog

Record Details

Catalog Search

[ 2 filters applied ]

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings Cover Image E-book E-book

The Mathematics of Language 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

Kanazawa, Makoto. (editor.). Kornai, András. (editor.). Kracht, Marcus. (editor.). Seki, Hiroyuki. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642232114
  • Physical Description: electronic
    electronic resource
    access
    remote
    IV, 227p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Search for related items by subject

Subject: Computer science
Information theory
Logic design
Algebra Data processing
Logic, Symbolic and mathematical
Computer Science
Mathematical Logic and Formal Languages
Symbolic and Algebraic Manipulation
Logics and Meanings of Programs
Theory of Computation
Mathematics of Computing
Mathematical Logic and Foundations

Search for related items by series

Electronic resources

Texto completo

► Awards, Reviews, & Suggested Reads
► Shelf Browser
▼ MARC Record
LDR 02042nam a22005175i 4500
00140244
003CONS
00520130726165014.0
007cr nn 008mamaa
008110929s2011 gw | s |||| 0|eng d
020 . ‡a9783642232114 ‡9978-3-642-23211-4
0247 . ‡a10.1007/978-3-642-23211-4 ‡2doi
035 . ‡a(DE-He213)978-3-642-23211-4
050 4. ‡aQA8.9-QA10.3
072 7. ‡aUYA ‡2bicssc
072 7. ‡aMAT018000 ‡2bisacsh
072 7. ‡aCOM051010 ‡2bisacsh
1001 . ‡aKanazawa, Makoto. ‡eeditor.
24514. ‡aThe Mathematics of Language ‡h[electronic resource] : ‡b12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings / ‡cedited by Makoto Kanazawa, András Kornai, Marcus Kracht, Hiroyuki Seki.
264 1. ‡aBerlin, Heidelberg : ‡bSpringer Berlin Heidelberg, ‡c2011.
300 . ‡aIV, 227p. ‡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 ; ‡v6878
650 0. ‡aComputer science.
650 0. ‡aInformation theory.
650 0. ‡aLogic design.
650 0. ‡aAlgebra ‡xData processing.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aComputer Science.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aSymbolic and Algebraic Manipulation.
65024. ‡aLogics and Meanings of Programs.
65024. ‡aTheory of Computation.
65024. ‡aMathematics of Computing.
65024. ‡aMathematical Logic and Foundations.
7001 . ‡aKornai, András. ‡eeditor.
7001 . ‡aKracht, Marcus. ‡eeditor.
7001 . ‡aSeki, Hiroyuki. ‡eeditor.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9783642232107
830 0. ‡aLecture Notes in Computer Science, ‡x0302-9743 ; ‡v6878
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-3-642-23211-4 ‡yTexto completo ‡9CONS
950 . ‡aComputer Science (Springer-11645)
901 . ‡a40244 ‡b ‡c40244 ‡tbiblio ‡sSystem Local

Additional Resources