0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 3 of 3 matches in All Departments

Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14,... Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings (1st ed. 2023)
Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B De Queiroz
R2,095 Discovery Miles 20 950 Ships in 10 - 15 working days

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the of the 29th International Workshop on Logic, Language, Information, and Computation, WoLLIC 2023, held in Halifax, NS, Canada, during July 11–14, 2023.   The 24 full papers (21 contributed, 3 invited) included in this book were carefully reviewed and selected from 46 submissions. The book also contains the abstracts for the 7 invited talks and 4 tutorials presented at WoLLIC 2023. The WoLLIC conference series aims at fostering interdisciplinary research in pure and applied logic.

Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022,... Coalgebraic Methods in Computer Science - 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings (Paperback, 1st ed. 2022)
Helle Hvid Hansen, Fabio Zanasi
R3,187 Discovery Miles 31 870 Ships in 10 - 15 working days

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

Logic, Language, and Computation - 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015,... Logic, Language, and Computation - 11th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers (Paperback, 1st ed. 2017)
Helle Hvid Hansen, Sarah E. Murray, Mehrnoosh Sadrzadeh, Henk Zeevat
R2,703 Discovery Miles 27 030 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 11th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2015, held in Tbilisi, Georgia, in September 2015. The 18 papers in this book were selected from the invited submissions of full, revised versions of the 37 short papers presented at the conference, and one invited talk. Each paper has passed through a rigorous peer-review process before being accepted for publication. The biennial conference series and the proceedings are representative of the aims of the organizing institutes: to promote the integrated study of logic, information and language. The scientific program consisted of tutorials, invited lectures, contributed talks, and two workshops.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Bostik Clear (50ml)
R57 Discovery Miles 570
Iron Lung
Martin Smith CD R318 R255 Discovery Miles 2 550
Genuine Leather Wallet With Clip Closure…
R299 R246 Discovery Miles 2 460
Xbox One Replacement Case
 (8)
R55 Discovery Miles 550
Ergonomicsdirect Ergo Anywhere Swivel…
R389 R350 Discovery Miles 3 500
Loot
Nadine Gordimer Paperback  (2)
R398 R330 Discovery Miles 3 300
White Glo Charcoal Deep Stain Remover…
R180 R169 Discovery Miles 1 690
Kingston Technology DataTraveler Exodia…
 (1)
R106 Discovery Miles 1 060
Wild About You - A 60-Day Devotional For…
John Eldredge, Stasi Eldredge Hardcover R299 R246 Discovery Miles 2 460
Sterile Wound Dressing
R5 Discovery Miles 50

 

Partners