Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Transactions on Computational Collective Intelligence XXXKowalczyk, Richard ; Thanh Nguyen, NgocCham: Springer International Publishing 2018Sem texto completo |
|
2 |
Material Type: Artigo
|
An extended framework for specifying and reasoning about proof systemsNigam, Vivek ; Pimentel, Elaine ; Reis, GiselleJournal of logic and computation, 2016-04, Vol.26 (2), p.539-576 [Periódico revisado por pares]Texto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
A Fuzzy Logic-Based Anticipation Car-Following ModelBennajeh, Anouer ; Bechikh, Slim ; Said, Lamjed Ben ; Aknine, Samir Kowalczyk, Richard ; Thanh Nguyen, NgocTransactions on Computational Collective Intelligence, 2018, Vol.11120, p.200-222 [Periódico revisado por pares]Cham: Springer International PublishingSem texto completo |
|
4 |
Material Type: Artigo
|
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machinesWeihrauch, Klaus ; Zhong, NingTheoretical computer science, 2005-02, Vol.332 (1), p.337-366 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
|
5 |
Material Type: Ata de Congresso
|
Computing Query Answering With Non-Monotonic Rules: A Case Study of Archaeology Qualitative Spatial ReasoningWürbel, Eric ; Ellefi, Mohamed Ben ; Drap, Pierre ; Garcia, Laurent ; Garreau, Fabien ; Lefèvre, Claire ; Papini, Odile ; Stéphan, Igor2019Sem texto completo |
|
6 |
Material Type: Artigo
|
Relational Graph Models, Taylor Expansion and ExtensionalityManzonetto, Giulio ; Ruoppolo, DomenicoElectronic notes in theoretical computer science, 2014-10, Vol.308, p.245-272Elsevier B.VTexto completo disponível |
|
7 |
Material Type: Livro
|
The autonomous system: a foundational synthesis of the sciences of the mind.de Gyurky, Szabolcs Michael ; Tarbell, Mark ANewark: WILEY 2013Texto completo disponível |
|
8 |
Material Type: Ata de Congresso
|
Industrial defect discrimination applying infrared imaging spectroscopy and artificial neural networksGarcia-Allende, Pilar Beatriz ; Conde, Olga M ; Madruga, Francisco J ; Cubillas, Ana M ; Lopez-Higuera, Jose MProceedings of SPIE, the International Society for Optical Engineering, 2008, Vol.6939, p.69390H-69390H-8Bellingham, Wash: SPIETexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
Classification Based on Homogeneous Logical ProportionsMoraes, Ronei M. ; Machado, Liliane S. ; Prade, Henri ; Richard, Gilles Bramer, Max ; Petridis, MiltosResearch and Development in Intelligent Systems XXX, 2013, p.53-60Cham: Springer International PublishingTexto completo disponível |
|
10 |
Material Type: Livro
|
Computational Intelligence: An IntroductionEngelbrecht, Andries PNewark: Wiley 2007Texto completo disponível |