The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
WeiterlesenUCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...
WeiterlesenThis book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Weiterlesenfeatures of the programming languages we employ in these programs are plentiful, including object-oriented organizations ...
WeiterlesenThis volume, edited by Randall Shumaker, contains papers in the thematic area of Virtual Reality, addressing the following ...
WeiterlesenThe First International Workshop on Web Information Systems Engineering for Electronic Businesses and Governments (E-BAG ...
WeiterlesenThis book constitutes the joint refereed proceedings of six workshops held in conjunction with the 8th International Conference ...
WeiterlesenIt address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
WeiterlesenThis book address all current topics in Web reasoning and rule systems such as acquisition of rules and ontologies by knowledge ...
Weiterlesen