Inductive Logic Programming

23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

ebook,ebook,ebook,ebook,ebook

Gerson Zaverucha,Vítor Santos Costa,Aline Paes

Springer Nature Proceedings Computer Science

Comprar el eBook

Ahorra 10 %Precio de venta: $49.936 CLP.$44.943CLP

Estás en la librería de Chile

¿No estás en Chile? Elige la librería de tu país para ver los libros que puedes comprar.

Elige tu librería

Comprar ahora

¿Por qué leer con nosotros?

Kobo anima a los amantes de los libros a leer más.

Experiencia de lectura mejorada con nuestros eReaders Kobo

Catálogo de libros extenso y relevante

Aplicación de lectura gratuita de Kobo

Sinopsis

Categorías

Acerca de este libro

Idioma:English
ISBN:9783662449233
Fecha de lanzamiento:24 sept 2014
Editorial:Springer Berlin Heidelberg

Edición:Springer
Formato de archivo:EPUB2
Tamaño de archivo:2.89 MB
Opciones de descarga:EPUB2 (Adobe DRM)

Lecturas relacionadas

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

$56.180

Inductive Logic Programming

Jesse Davis, Jan Ramon

$52.809

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

$56.180

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

$56.180

Statistical Language and Speech Processing

Nathalie Camelin, Yannick Estève, Carlos Martín-Vide

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

$56.180

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen

$56.180

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

$56.180

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu

$44.943

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Tiziana Margaria, Bernhard Steffen

$101.133

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

$56.180

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

$56.180

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

$56.180

Implementation and Application of Automata

Frank Drewes

$56.180

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

$52.809

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

$56.180

Text Analysis Pipelines

Henning Wachsmuth

$56.180

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

$56.180

Formal Grammar

Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla

$56.180

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

$56.180

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Statistical Language and Speech Processing

Pavel Král, Carlos Martín-Vide

$44.943

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

$56.180

Reachability Problems

Matthew Hague, Igor Potapov

$56.180

Language and Automata Theory and Applications

Frank Drewes, Carlos Martín-Vide, Bianca Truthe

$56.180

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

$52.809

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

$56.180

Web Reasoning and Rule Systems

Magdalena Ortiz, Stefan Schlobach

$56.180

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

$56.180

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

$56.180

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

$56.180

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

$56.180

Computer Safety, Reliability, and Security

Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch

$56.180

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

$56.180

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

$56.180

Coalgebraic Methods in Computer Science

Ichiro Hasuo

$56.180

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

$56.180

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

$56.180

Computability and Complexity

Adam Day, Michael Fellows, Noam Greenberg, Bakhadyr Khoussainov, Alexander Melnikov, Frances Rosamond

$56.180

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

$56.180

Quantum Interaction

Thomas Filk, Kirsty Kitto, Harald Atmanspacher, Claudia Bergomi

$52.809

Learning and Intelligent Optimization

Paola Festa, Meinolf Sellmann, Joaquin Vanschoren

$56.180

Algorithm Engineering

Lasse Kliemann, Peter Sanders

$56.180

Finite Difference Methods,Theory and Applications

Ivan Dimov, István Faragó, Lubin Vulkov

$56.180

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

$56.180

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Brian Henderson-Sellers

$56.180

Quantum Interaction

Jose Acacio de Barros, Bob Coecke, Emmanuel Pothos

$56.180

Agents and Artificial Intelligence

Joaquim Filipe, Jaap van den Herik

$56.180

Learning and Intelligent Optimization

Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev

$56.180

Ver más por autor

Intelligent Systems

Aline Paes, Filipe A. N. Verri

$89.895

Intelligent Systems

Aline Paes, Filipe A. N. Verri

$73.037

Intelligent Systems

Aline Paes, Filipe A. N. Verri

$89.895

¿Te ha gustado el libro?

¡Sé la primera persona en valorar y reseñar este libro!

Esta es nuestra librería de Chile.

Inductive Logic Programming

¿Por qué leer con nosotros?

Sinopsis

Acerca de este libro

Detalles del libro

Cómo leer

Lecturas relacionadas

Formal Techniques for Distributed Objects, Components, and Systems

Inductive Logic Programming

Developments in Language Theory

Foundations of Software Science and Computation Structures

Statistical Language and Speech Processing

Tools and Algorithms for the Construction and Analysis of Systems

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification, and Validation

Recent Trends in Algebraic Development Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Implementation and Application of Automata

Coalgebraic Methods in Computer Science

FM 2016: Formal Methods

Text Analysis Pipelines

Unifying Theories of Programming

Formal Grammar

Reachability Problems

Topics in Theoretical Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Statistical Language and Speech Processing

Implementation and Application of Automata

Reachability Problems

Language and Automata Theory and Applications

Machines, Computations, and Universality

Unconventional Computation and Natural Computation

Web Reasoning and Rule Systems

Descriptional Complexity of Formal Systems

Formal Modeling and Analysis of Timed Systems

Computer Science -- Theory and Applications

Verification, Model Checking, and Abstract Interpretation

Computer Safety, Reliability, and Security

Computer Science – Theory and Applications

Tools and Algorithms for the Construction and Analysis of Systems

Coalgebraic Methods in Computer Science

Descriptive Set Theoretic Methods in Automata Theory

Foundations of Software Science and Computation Structures

Computability and Complexity

Verification, Model Checking, and Abstract Interpretation

Quantum Interaction

Learning and Intelligent Optimization

Algorithm Engineering

Finite Difference Methods,Theory and Applications

Semantics, Logics, and Calculi

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Quantum Interaction

Agents and Artificial Intelligence

Learning and Intelligent Optimization

Ver más por autor

Intelligent Systems

Intelligent Systems

Intelligent Systems

¿Te ha gustado el libro?

eBooks

Audiolibros

Lecturas relacionadas

Formal Techniques for Distributed Objects, Components, and Systems

Inductive Logic Programming

Developments in Language Theory

Foundations of Software Science and Computation Structures

Statistical Language and Speech Processing

Tools and Algorithms for the Construction and Analysis of Systems

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification, and Validation

Recent Trends in Algebraic Development Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Implementation and Application of Automata