Nantilus
Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 inv...
Enregistré dans:
| Auteurs principaux : | , |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Logic, Language, Information and Computation : 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings / edited by Luke Ong, Ruy Queiroz. |
| Publié : |
Berlin, Heidelberg :
Springer Berlin Heidelberg
, 2012 Cham |
| Collection : | Theoretical computer science and general issues (Online) ; 7456 |
| Accès en ligne : |
Accès Nantes Université
Accès direct soit depuis les campus via le réseau ou le wifi eduroam soit à distance avec un compte @etu.univ-nantes.fr ou @univ-nantes.fr |
| Sujets : | |
| Documents associés : | Autre format:
Logic, Language, Information and Computation Autre format: Logic, Language, Information, and Computation |
| LEADER | 03293clm a2200661 4500 | ||
|---|---|---|---|
| 001 | PPN168322277 | ||
| 003 | http://www.sudoc.fr/168322277 | ||
| 005 | 20241001155100.0 | ||
| 010 | |a 978-3-642-32621-9 | ||
| 017 | 7 | 0 | |a 10.1007/978-3-642-32621-9 |2 DOI |
| 035 | |a (OCoLC)818323611 | ||
| 035 | |a Springer978-3-642-32621-9 | ||
| 035 | |a Springer-11645-978-3-642-32621-9 | ||
| 100 | |a 20130325d2012 k y0frey0103 ba | ||
| 101 | 0 | |a eng |2 639-2 | |
| 102 | |a DE | ||
| 105 | |a y z 100yy | ||
| 106 | |a s | ||
| 135 | |a dr||||||||||| | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c c |2 rdamedia | ||
| 182 | 1 | |6 z01 |a b | |
| 183 | |6 z01 |a ceb |2 RDAfrCarrier | ||
| 200 | 1 | |a Logic, Language, Information and Computation |e 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings |f edited by Luke Ong, Ruy Queiroz. | |
| 214 | 0 | |a Berlin, Heidelberg |c Springer Berlin Heidelberg | |
| 214 | 2 | |a Cham |b Springer Nature |d 2012 | |
| 225 | 0 | |a Theoretical Computer Science and General Issues |x 2512-2029 |v 7456 | |
| 330 | |a Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 19th Workshop on Logic, Language, Information and Communication, WoLLIC 2012, held in Buenos Aires, Argentina, in September 2012. The papers accompanying 8 invited lectures are presented together with 16 contributed papers; the latter were carefully reviewed and selected from 46 submissions. The papers report advances in inter-disciplinary research involving formal logic, theory of computation, foundations of mathematics, and computational linguistics. | ||
| 371 | 0 | |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition | |
| 410 | | | |0 200114832 |t Theoretical computer science and general issues (Online) |x 2512-2029 |v 7456 | |
| 452 | | | |t Logic, Language, Information and Computation |y 9783642326202 | |
| 452 | | | |t Logic, Language, Information, and Computation |y 9783642326226 | |
| 608 | |3 PPN02886431X |a Actes de congrès |2 rameau | ||
| 610 | 1 | |a Computer Science | |
| 610 | 2 | |a Algorithm Analysis and Problem Complexity | |
| 610 | 2 | |a Mathematical Logic and Formal Languages | |
| 610 | 2 | |a Logics and Meanings of Programs | |
| 610 | 2 | |a Computation by Abstract Devices | |
| 610 | 2 | |a Discrete Mathematics in Computer Science | |
| 610 | 2 | |a Symbolic and Algebraic Manipulation | |
| 610 | 1 | |a Algorithms | |
| 610 | 2 | |a Computer Science Logic and Foundations of Programming | |
| 610 | 2 | |a Theory of Computation | |
| 610 | 2 | |a Formal Languages and Automata Theory | |
| 615 | |a @Computer Science |n 11645 |2 Springer | ||
| 676 | |a 005.1 |v 23 | ||
| 680 | |a QA76.9.A43 | ||
| 700 | 1 | |a Ong |b Luke |4 651 | |
| 701 | 1 | |a de Queiroz |b Ruy |4 651 | |
| 801 | 3 | |a FR |b Abes |c 20230301 |g AFNOR | |
| 801 | 1 | |a DE |b Springer |c 20230301 |g AACR2 | |
| 856 | 4 | |5 441099901:830853774 |u https://budistant.univ-nantes.fr/login?url=https://doi.org/10.1007/978-3-642-32621-9 | |
| 915 | |5 441099901:830853774 |b SPRING13-00441 | ||
| 930 | |5 441099901:830853774 |b 441099901 |j g | ||
| 991 | |5 441099901:830853774 |a Exemplaire créé en masse par ITEM le 30-09-2024 16:11 | ||
| 997 | |a NUM |b SPRING13-00441 |d NUMpivo |e EM |s d | ||
| 998 | |a 978273 | ||