Frontiers of combining systems 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013, proceedings /

This book constitutes the refereed proceedings of the 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, held in Nancy, France, in September 2013. The 20 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 33 submissions. Fr...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Main Authors: International Symposium, FroCoS 2013, Fontaine, Pascal, Ringeissen, Christophe, Schmidt, Renate.
Format: Livro
Jezik:Inglês
Izdano: Springer Berlin Heidelberg, 2013
Serija:(Lecture notes in artificial intelligence ;
Teme:
Inteligência artificial.
Lógica simbólica e matemática.
Lógica de computador.
Engenharia de software.
Algoritmos.
Programação (Computadores).
Online dostop:https://minerva.ufrj.br/F/?func=direct&doc_number=000916342&local_base=UFR01
Oznake: Označite
Brez oznak, prvi označite!

Podobne knjige/članki