Please use this identifier to cite or link to this item: http://localhost/handle/Hannan/1289
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMoss, Lawrence S. ;en_US
dc.contributor.authorde Queiroz, Ruy. ;en_US
dc.contributor.authorMartinez, Maricarmen. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:16Z-
dc.date.available2020-05-17T08:27:16Z-
dc.date.issued2018en_US
dc.identifier.isbn9783662576694 ;en_US
dc.identifier.isbn9783662576687 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1289-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783662576687. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractEdited 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.statementofresponsibilityedited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez.en_US
dc.format.extentXVIII, 325 p. 29 illus. ; online resource. ;en_US
dc.publisherSpringer Berlin Heidelberg :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.haspart9783662576687.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectMathematical logic. ;en_US
dc.subjectNumerical analysis. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectProgramming Techniquesen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSoftware Engineeringen_US
dc.subjectNumeric Computing. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleLogic, Language, Information, and Computationen_US
dc.title.alternative25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeBerlin, Heidelberg :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783662576687.pdf6.52 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMoss, Lawrence S. ;en_US
dc.contributor.authorde Queiroz, Ruy. ;en_US
dc.contributor.authorMartinez, Maricarmen. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:16Z-
dc.date.available2020-05-17T08:27:16Z-
dc.date.issued2018en_US
dc.identifier.isbn9783662576694 ;en_US
dc.identifier.isbn9783662576687 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1289-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783662576687. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractEdited 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.statementofresponsibilityedited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez.en_US
dc.format.extentXVIII, 325 p. 29 illus. ; online resource. ;en_US
dc.publisherSpringer Berlin Heidelberg :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.haspart9783662576687.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectMathematical logic. ;en_US
dc.subjectNumerical analysis. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectProgramming Techniquesen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSoftware Engineeringen_US
dc.subjectNumeric Computing. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleLogic, Language, Information, and Computationen_US
dc.title.alternative25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeBerlin, Heidelberg :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783662576687.pdf6.52 MBAdobe PDFThumbnail
Preview File
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMoss, Lawrence S. ;en_US
dc.contributor.authorde Queiroz, Ruy. ;en_US
dc.contributor.authorMartinez, Maricarmen. ;en_US
dc.date.accessioned2013en_US
dc.date.accessioned2020-05-17T08:27:16Z-
dc.date.available2020-05-17T08:27:16Z-
dc.date.issued2018en_US
dc.identifier.isbn9783662576694 ;en_US
dc.identifier.isbn9783662576687 (print) ;en_US
dc.identifier.urihttp://localhost/handle/Hannan/1289-
dc.descriptionSpringerLink (Online service) ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionPrinted edition: ; 9783662576687. ;en_US
dc.descriptionen_US
dc.descriptionen_US
dc.descriptionen_US
dc.description.abstractEdited 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.statementofresponsibilityedited by Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez.en_US
dc.format.extentXVIII, 325 p. 29 illus. ; online resource. ;en_US
dc.publisherSpringer Berlin Heidelberg :en_US
dc.publisherImprint: Springer,en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.ispartofseriesLecture Notes in Computer Science, ; 0302-9743 ; ; 10944. ;en_US
dc.relation.haspart9783662576687.pdfen_US
dc.subjectComputer Scienceen_US
dc.subjectComputer Programmingen_US
dc.subjectSoftware Engineeringen_US
dc.subjectProgramming Languages and Electronic Computersen_US
dc.subjectMathematical logic. ;en_US
dc.subjectNumerical analysis. ;en_US
dc.subjectArtificial Intelligenceen_US
dc.subjectComputer Scienceen_US
dc.subjectMathematical Logic and Formal Languages. ;en_US
dc.subjectArtificial Intelligence and Roboticsen_US
dc.subjectProgramming Techniquesen_US
dc.subjectProgramming Languages and Compilers and Interpretersen_US
dc.subjectSoftware Engineeringen_US
dc.subjectNumeric Computing. ;en_US
dc.subject.ddc005.131 ; 23 ;en_US
dc.subject.lccQA8.9-QA10.3 ;en_US
dc.titleLogic, Language, Information, and Computationen_US
dc.title.alternative25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /en_US
dc.typeBooken_US
dc.publisher.placeBerlin, Heidelberg :en_US
Appears in Collections:مدیریت فناوری اطلاعات

Files in This Item:
File Description SizeFormat 
9783662576687.pdf6.52 MBAdobe PDFThumbnail
Preview File