Please use this identifier to cite or link to this item:
http://localhost/handle/Hannan/1289
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Moss, Lawrence S. ; | en_US |
dc.contributor.author | de Queiroz, Ruy. ; | en_US |
dc.contributor.author | Martinez, Maricarmen. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:27:16Z | - |
dc.date.available | 2020-05-17T08:27:16Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783662576694 ; | en_US |
dc.identifier.isbn | 9783662576687 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1289 | - |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783662576687. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation. ; | en_US |
dc.description.statementofresponsibility | edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. | en_US |
dc.format.extent | XVIII, 325 p. 29 illus. ; online resource. ; | en_US |
dc.publisher | Springer Berlin Heidelberg : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.haspart | 9783662576687.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Programming | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Programming Languages and Electronic Computers | en_US |
dc.subject | Mathematical logic. ; | en_US |
dc.subject | Numerical analysis. ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
dc.subject | Artificial Intelligence and Robotics | en_US |
dc.subject | Programming Techniques | en_US |
dc.subject | Programming Languages and Compilers and Interpreters | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Numeric Computing. ; | en_US |
dc.subject.ddc | 005.131 ; 23 ; | en_US |
dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
dc.title | Logic, Language, Information, and Computation | en_US |
dc.title.alternative | 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Berlin, Heidelberg : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783662576687.pdf | 6.52 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Moss, Lawrence S. ; | en_US |
dc.contributor.author | de Queiroz, Ruy. ; | en_US |
dc.contributor.author | Martinez, Maricarmen. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:27:16Z | - |
dc.date.available | 2020-05-17T08:27:16Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783662576694 ; | en_US |
dc.identifier.isbn | 9783662576687 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1289 | - |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783662576687. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation. ; | en_US |
dc.description.statementofresponsibility | edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. | en_US |
dc.format.extent | XVIII, 325 p. 29 illus. ; online resource. ; | en_US |
dc.publisher | Springer Berlin Heidelberg : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.haspart | 9783662576687.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Programming | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Programming Languages and Electronic Computers | en_US |
dc.subject | Mathematical logic. ; | en_US |
dc.subject | Numerical analysis. ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
dc.subject | Artificial Intelligence and Robotics | en_US |
dc.subject | Programming Techniques | en_US |
dc.subject | Programming Languages and Compilers and Interpreters | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Numeric Computing. ; | en_US |
dc.subject.ddc | 005.131 ; 23 ; | en_US |
dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
dc.title | Logic, Language, Information, and Computation | en_US |
dc.title.alternative | 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Berlin, Heidelberg : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783662576687.pdf | 6.52 MB | Adobe PDF | Preview File |
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Moss, Lawrence S. ; | en_US |
dc.contributor.author | de Queiroz, Ruy. ; | en_US |
dc.contributor.author | Martinez, Maricarmen. ; | en_US |
dc.date.accessioned | 2013 | en_US |
dc.date.accessioned | 2020-05-17T08:27:16Z | - |
dc.date.available | 2020-05-17T08:27:16Z | - |
dc.date.issued | 2018 | en_US |
dc.identifier.isbn | 9783662576694 ; | en_US |
dc.identifier.isbn | 9783662576687 (print) ; | en_US |
dc.identifier.uri | http://localhost/handle/Hannan/1289 | - |
dc.description | SpringerLink (Online service) ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | Printed edition: ; 9783662576687. ; | en_US |
dc.description | en_US | |
dc.description | en_US | |
dc.description | en_US | |
dc.description.abstract | Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 25th Workshop on Logic, Language, Information and Communication, WoLLIC 2018, held inBogota, Colombia, in July 2018. The 16 full papers together with 3 short papers and 3 invited talks presented were fully reviewed and selected from 30 submissions. The vision for the conference is to provide an annual forum which is large enough to provide meaningful interactions between logic and the sciences related to information and computation. ; | en_US |
dc.description.statementofresponsibility | edited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez. | en_US |
dc.format.extent | XVIII, 325 p. 29 illus. ; online resource. ; | en_US |
dc.publisher | Springer Berlin Heidelberg : | en_US |
dc.publisher | Imprint: Springer, | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.ispartofseries | Lecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ; | en_US |
dc.relation.haspart | 9783662576687.pdf | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Computer Programming | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Programming Languages and Electronic Computers | en_US |
dc.subject | Mathematical logic. ; | en_US |
dc.subject | Numerical analysis. ; | en_US |
dc.subject | Artificial Intelligence | en_US |
dc.subject | Computer Science | en_US |
dc.subject | Mathematical Logic and Formal Languages. ; | en_US |
dc.subject | Artificial Intelligence and Robotics | en_US |
dc.subject | Programming Techniques | en_US |
dc.subject | Programming Languages and Compilers and Interpreters | en_US |
dc.subject | Software Engineering | en_US |
dc.subject | Numeric Computing. ; | en_US |
dc.subject.ddc | 005.131 ; 23 ; | en_US |
dc.subject.lcc | QA8.9-QA10.3 ; | en_US |
dc.title | Logic, Language, Information, and Computation | en_US |
dc.title.alternative | 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings / | en_US |
dc.type | Book | en_US |
dc.publisher.place | Berlin, Heidelberg : | en_US |
Appears in Collections: | مدیریت فناوری اطلاعات |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
9783662576687.pdf | 6.52 MB | Adobe PDF | Preview File |