Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
tarafından
 
Moss, Lawrence S. editor.

Başlık
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings

Yazar
Moss, Lawrence S. editor.

ISBN
9783662576694

Edisyon
1st ed. 2018.

Fiziksel Niteleme
XVIII, 325 p. 29 illus. online resource.

Seri
Theoretical Computer Science and General Issues ; 10944

Özet
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.

Konu Başlığı
Computer science.
 
Artificial intelligence.
 
Software engineering.
 
Electronic data processing.
 
Mathematical Logic and Formal Languages. http://scigraph.springernature.com/things/product-market-codes/I16048
 
Artificial Intelligence. http://scigraph.springernature.com/things/product-market-codes/I21000
 
Programming Techniques. http://scigraph.springernature.com/things/product-market-codes/I14010
 
Programming Languages, Compilers, Interpreters. http://scigraph.springernature.com/things/product-market-codes/I14037
 
Software Engineering. http://scigraph.springernature.com/things/product-market-codes/I14029
 
Numeric Computing. http://scigraph.springernature.com/things/product-market-codes/I1701X

Yazar Ek Girişi
Moss, Lawrence S.
 
de Queiroz, Ruy.
 
Martinez, Maricarmen.

Ek Kurum Yazar
SpringerLink (Online service)

Elektronik Erişim
https://doi.org/10.1007/978-3-662-57669-4


Materyal TürüBarkodYer NumarasıDurumu/İade Tarihi
Electronic Book225049-1001QA8.9 -QA10.3Springer E-Book Collection