Automated reasoning with analytic tableaux and related methods /

Código QR

Automated reasoning with analytic tableaux and related methods /

Detalles Bibliográficos
Autor Corporativo:	International conference, TABLEAUX 2017. Proceedings Brasilia, Brasil)
Otros Autores:	Schmidt, Renate A. (Editor ), Nalon, Cláudia (editora)
Formato:	Procedimiento de la Conferencia Libro
Lenguaje:	English
Publicado:	Cham, Suiza : Springer, 2017.
Edición:	1 edición
Materias:	Ingeniería de software Inteligencia artificial Lógica computacional Lógica simbólica y matemática > Lenguajes formales Lenguajes de programación Compiladores (Programas para computador) Intérpretes (Programas para computador) Programación de computadoras Técnicas de programación Acta de congreso Libros electrónicos

Ejemplares similares

Automated trading with R : quantitative research and platform development /
por: Conlan, Chris
Publicado: (2016)

Artificial intelligence in medicine : proceedings /
Publicado: (2017)

Automated technology for verification and analysis /
Publicado: (2017)

Beginning Java 8 games development /
por: Jackson, Wallace,
Publicado: (2014)

AI*IA 2017 advances in artificial intelligence /
Publicado: (2017)

Android recipes : a problem-solution approach for android 5.0 /
por: Smith, Dave
Publicado: (2015)

Advanced C and C++ compiling /
por: Stevanovic, Milan
Publicado: (2014)

Advanced Topics in C : core Concepts in Data Structures /
por: Kalicharan, Noel.
Publicado: (2013)

The secret life of programs : understand computers - craft better code /
por: Steinhart, Jonathan E.
Publicado: (2019)

Automated deduction - CADE 26 /
Publicado: (2017)

Beginning R : an introduction to statistical programming /
por: Pace, Larry,
Publicado: (2012)

Introducción a la programación con SCHEME /
por: Helo-Guzman, José Elias
Publicado: (2005)

Beginning REALbasic : from novice to professional /
por: Ford, Jerry Lee,
Publicado: (2006)

La semántica de acción de Java /
por: Díaz-Guillén, Ramón Esmirde
Publicado: (1999)

Automate the boring stuff with Python : practical programming for total beginners /
por: Sweigart, Al
Publicado: (2020)

Being Agile : your roadmap to successful adoption of agile /
por: Moreira, Mario E.,
Publicado: (2013)

El Lenguaje de programacion C /
por: Kernighan, Brian W.
Publicado: (1989)

Lógica para informáticos /
Publicado: (2012)

Beginning robotics programming in Java with LEGO mindstorms /
por: Lu, Wei,
Publicado: (2016)

Crafting interpreters /
por: Nystrom, Robert
Publicado: (2021)

Beginning F# 4.0 /
por: Pickering, Robert,
Publicado: (2016)

Diseño digital : con una introducción a Verilog HDL /
por: Mano, M. Morris
Publicado: (2013)

Laboratorio de Simatic : división de energía y automatización, SIEMENS Costa Rica /
por: Rojas-Mesén, Mauricio A.
Publicado: (1994)

Advances in electrical engineering and computational science /
Publicado: (2009)

Programación en Go /
por: Macías-Lloret, Mario
Publicado: (2022)

Lenguaje de programación : diseño e implementación /
por: Pratt, Terrence W.
Publicado: (1997)

Beginning T-SQL 2008 /
por: Kellenberger, Kathi,
Publicado: (2009)

Kablok : diseño e implementación de un lenguaje aplicativo con variables libres, no determinismo y unificación /
por: Díaz-Oreiro, Ignacio
Publicado: (1995)

C++ Guía de autoenseñanza /
por: Schilt, Herbert
Publicado: (1995)

Programming languages : principles and paradigms /
por: Tucker, Allen
Publicado: (2006)

Programming Language Design Concepts. /
por: Watt, David A.
Publicado: (2004)

Application and theory of petri nets and concurrency : proceedings /
Publicado: (2017)

Advanced NXT : the Da Vinci inventions book /
por: Scholz, Matthias Paul
Publicado: (2007)

A book on C /
por: Berry, Robert E.
Publicado: (1988)

Beyond the basic stuff with Python : best practices for writing clean code /
por: Sweigart, Al
Publicado: (2021)

Accelerated GWT : building enterprise google web toolkit applications /
por: Gupta, Vipul
Publicado: (2008)

A tour of C++ /
por: Stroustrup, Bjarne
Publicado: (2022)

Automated scheduling and planning : from theory to practice /
Publicado: (2013)

Cómo programar C++ /
por: Deitel, Paul
Publicado: (2014)

C++ data structures : a laboratory course /
por: Brandle, Stefan
Publicado: (2009)