Interactive Logic : Selected Papers from the 7th Augustus de Morgan Workshop, London

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Dov Gabbay, Benedikt Löwe, Johan van Benthem

Ngôn ngữ: eng

ISBN-13: 978-9053563564

Ký hiệu phân loại: 519.3 Game theory

Thông tin xuất bản: Amsterdam University Press, 2008

Mô tả vật lý: 1 electronic resource (362 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 180223

 In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied
  logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logic and Games' ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie.Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games.
1. 
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH