Inductive Logic Programming

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

Gerson Zaverucha,Vítor Santos Costa,Aline Paes

Springer Nature Proceedings Computer Science

電子書籍を購入

15 % 引き販売価格　5,720 円4,862 円

こちらは日本のストアになります

日本ではありませんか？あなたのお住まいの国のストアを選択し、購入可能な商品をお探しください

ストアを選ぶ

購入する本を贈る

楽天Koboで読む理由

楽天Koboなら読書がもっと楽しくなります。

楽天Kobo電子書籍リーダーでワンランク上の読書体験を

欲しい本が見つかる豊富な品揃え

無料の楽天Koboアプリ

あらすじ

ジャンル

この書籍について

言語　English
商品番号：9783662449233
発売日　2014年9月24日
出版社：Springer Berlin Heidelberg

出版社： Springer
ファイル形式　EPUB2
サイズ　2.89 MB
ダウンロードオプション:EPUB2 (Adobe DRM)

関連書籍

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert, Ivan Lanese

6,076 円

Inductive Logic Programming

Jesse Davis, Jan Ramon

5,834 円

Developments in Language Theory

Srečko Brlek, Christophe Reutenauer

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Statistical Language and Speech Processing

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

6,076 円

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

Tiziana Margaria, Bernhard Steffen

6,076 円

Leveraging Applications of Formal Methods, Verification, and Validation

Anna-Lena Lamprecht

6,076 円

Recent Trends in Algebraic Development Techniques

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

4,862 円

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

Tiziana Margaria, Bernhard Steffen

12,154 円

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

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

6,076 円

Descriptional Complexity of Formal Systems

Jeffrey Shallit, Alexander Okhotin

6,076 円

Foundations of Software Science and Computation Structures

Bart Jacobs, Christof Löding

6,076 円

Descriptional Complexity of Formal Systems

Cezar Câmpeanu, Florin Manea, Jeffrey Shallit

6,076 円

Implementation and Application of Automata

Frank Drewes

6,076 円

A Concise Introduction to Languages and Machines

Alan P. Parkes

3,641 円

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

6,076 円

FM 2016: Formal Methods

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou

6,076 円

Text Analysis Pipelines

Henning Wachsmuth

6,076 円

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

6,076 円

Formal Grammar

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

6,076 円

Reachability Problems

Igor Potapov, Jiří Srba, Kim Guldstrand Larsen

6,076 円

Coalgebraic Methods in Computer Science

Marcello M. Bonsangue

5,834 円

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

6,076 円

Statistical Language and Speech Processing

Pavel Král, Carlos Martín-Vide

5,105 円

Implementation and Application of Automata

Yo-Sub Han, Kai Salomaa

6,076 円

Reachability Problems

Matthew Hague, Igor Potapov

6,076 円

Language and Automata Theory and Applications

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

6,076 円

Machines, Computations, and Universality

Benedek Nagy, Jerome Durand-Lose

5,834 円

Descriptional Complexity of Formal Systems

Giovanni Pighizzini, Cezar Câmpeanu

6,076 円

Web Reasoning and Rule Systems

Magdalena Ortiz, Stefan Schlobach

6,076 円

Unconventional Computation and Natural Computation

Martyn Amos, Anne Condon

6,076 円

Formal Modeling and Analysis of Timed Systems

Martin Fränzle, Nicolas Markey

6,076 円

Computer Science -- Theory and Applications

Lev D. Beklemishev, Daniil V. Musatov

6,076 円

Verification, Model Checking, and Abstract Interpretation

Ahmed Bouajjani, David Monniaux

6,076 円

Computer Safety, Reliability, and Security

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

6,076 円

Computer Science – Theory and Applications

Alexander S. Kulikov, Gerhard J. Woeginger

6,076 円

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

6,076 円

Coalgebraic Methods in Computer Science

Ichiro Hasuo

6,076 円

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

6,076 円

Foundations of Software Science and Computation Structures

Javier Esparza, Andrzej S. Murawski

6,076 円

Computability and Complexity

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

6,076 円

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

6,076 円

Artificial Evolution

Stéphane Bonnevay, Pierrick Legrand, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer

6,076 円

Hybrid Metaheuristics

Maria J. Blesa, Christian Blum, Angelo Cangelosi, Vincenzo Cutello, Mario Pavone, El-Ghazali Talbi, Alessandro Di Nuovo

6,076 円

Unveiling Dynamics and Complexity

Jarkko Kari, Florin Manea, Ion Petre

6,076 円

Cellular Automata and Discrete Complex Systems

Matthew Cook, Turlough Neary

6,076 円

Regulated Grammars and Automata

Alexander Meduna, Petr Zemek

12,154 円

Pursuit of the Universal

Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska

6,076 円

Artificial Evolution

Pierrick Legrand, Marc-Michel Corsini, Jin-Kao Hao, Nicolas Monmarché, Evelyne Lutton, Marc Schoenauer

5,834 円

Algorithms for Sensor Systems

Prosenjit Bose, Leszek Antoni Gąsieniec, Kay Römer, Roger Wattenhofer

5,834 円

お楽しみいただけましたか？

最初のレビュアーになりませんか？

日本のストアです。

Inductive Logic Programming

楽天Koboで読む理由

あらすじ

この書籍について

商品情報

閲覧方法

関連書籍

Formal Techniques for Distributed Objects, Components, and Systems

Inductive Logic Programming

Developments in Language Theory

Tools and Algorithms for the Construction and Analysis of Systems

Statistical Language and Speech Processing

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

Foundations of Software Science and Computation Structures

Descriptional Complexity of Formal Systems

Implementation and Application of Automata

A Concise Introduction to Languages and Machines

Topics in Theoretical Computer Science

FM 2016: Formal Methods

Text Analysis Pipelines

Unifying Theories of Programming

Formal Grammar

Reachability Problems

Coalgebraic Methods in 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

Descriptional Complexity of Formal Systems

Web Reasoning and Rule Systems

Unconventional Computation and Natural Computation

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

Artificial Evolution

Hybrid Metaheuristics

Unveiling Dynamics and Complexity

Cellular Automata and Discrete Complex Systems

Regulated Grammars and Automata

Pursuit of the Universal

Artificial Evolution

Algorithms for Sensor Systems

お楽しみいただけましたか？

電子書籍

楽天Koboで読む理由

お楽しみいただけましたか？

最新のブログ記事

関連書籍

Formal Techniques for Distributed Objects, Components, and Systems

Inductive Logic Programming

Developments in Language Theory

Tools and Algorithms for the Construction and Analysis of Systems

Statistical Language and Speech Processing

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

Foundations of Software Science and Computation Structures

Descriptional Complexity of Formal Systems

Implementation and Application of Automata

A Concise Introduction to Languages and Machines

Topics in Theoretical Computer Science