Skip to contents

Sutcliffe, Geoff [Editor] ; LPAR 12 2005 Montego Bay

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3835
Platzer, André [Author] ; Sutcliffe, Geoff [Editor]

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

View online
Schließen

Access

... to E-book (PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: Springer Nature, 2021
Sutcliffe, Geoff [Editor]

CASC-J6 : the 6th IJCAR ATP System Competition

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, July 2, 2012

Published in: EPiC series in computing ; 11
Platzer, André [Editor]; Sutcliffe, Geoff [Editor]

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings - [1st ed. 2021.]

View online
Schließen

Access

... to E-book via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

Published in: Lecture Notes in Artificial Intelligence ; 12699
Platzer, André [Editor]; Sutcliffe, Geoff [Editor]

Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings

View online
Schließen

Access

... to E-book (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: Springer Nature, 2021

Published in: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Sutcliffe, Geoff [Other]; Voronkov, Andrei [Other]

Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

Published in: Lecture notes in computer science ; 3835
Benzmüller, Christoph [Editor]; Sutcliffe, Geoff [Editor]; Rojass, Raul [Editor] ; Global Conference on Artificial Intelligence 2. 2016 Berlin, Freie Universität Berlin, Freie Universität Berlin

GCAI 2016 : 2nd Global Conference on Artificial Intelligence

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: [Cool Press Ltd], September 29, 2016

Published in: EPiC series in computing ; 41
Gottlob, Georg [Editor]; Sutcliffe, Geoff [Editor]; Voronkov, Andrei [Editor] ; Global Conference on Artificial Intelligence 1. 2015 Tiflis, Ivane J̌avaxišvilis Saxelobis T̕bilisis Saxelmcip̕o Universiteti, Ivane J̌avaxišvilis Saxelobis T̕bilisis Saxelmcip̕o Universiteti

GCAI 2015 : Global Conference on Artificial Intelligence

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, December 18, 2015

Published in: EPiC series in computing ; 36
Stump, Aaron [Editor]; Sutcliffe, Geoff [Editor]; Tinelli, Cesare [Editor] ; Workshop on Evaluation Methods for Solvers and Quality Metrics for Solutions 2010 Edinburgh

EMSQMS 2010 : Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, May 15, 2012

Published in: EPiC series in computing ; 6
Sutcliffe, Geoff [Editor]; Schulz, Stephan [Editor]; Ternovska, Eugenia [Editor] ; International Workshop on the Implementation of Logics 8. 2010 Yogyakarta

IWIL 2010 : the 8th International Workshop on the Implementation of Logics

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, May 15, 2012

Published in: EPiC series in computing ; 2
Sutcliffe, Geoff [Other]; Pelletier, Jeff [Other]; Suttner, Christian [Other]

CADE-18 Workshop: Problems and Problem Sets : [Copenhagen, Denmark, July 31st - August 1st, 2002 ; part of FloC 2002]

View online
Schließen

Access

... to E-book (Volltext ; PDF document ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Copenhagen: DIKU, 2002

Published in: Københavns Universitet: Technical report ; 200210
Voronkov, Andrei [Editor]; Sutcliffe, Geoff [Editor]; Baaz, Matthias [Editor]; Fernmüller, Christian [Editor] ; LPAR 17 2010 Yogyakarta

LPAR-17-short : short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning

View online
Schließen

Access

... to E-book (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Manchester]: EasyChair, March 25, 2013

Published in: EPiC series in computing ; 13
Steen, Alexander [Author]; Fuenmayor, David [Author]; Gleißner, Tobias [Author]; Sutcliffe, Geoff [Author]; Benzmüller, Christoph [Author]

Automated Reasoning in Non-classical Logics in the TPTP World

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: Workshop on Practical Aspects of Automated Reasoning (8. : 2022 : Haifa): PAAR 2022: Practical Aspects of Automated Reasoning 2022 ; 2022
Saidy, Nahku [Author]; Siegfried, Hanna [Author]; Schulz, Stephan [Author]; Sutcliffe, Geoff [Author]

Cutting Down the TPTP Language (And Others)

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: Workshop on Practical Aspects of Automated Reasoning (7. : 2020 : Online): PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 ; (2020), Seite 134-147
Liu, Qinghua [Author]; Wu, Zishi [Author]; Wang, Zihao [Author]; Sutcliffe, Geoff [Author]

Evaluation of Axiom Selection Techniques

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: Workshop on Practical Aspects of Automated Reasoning (7. : 2020 : Online): PAAR+SC-Square 2020: Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020 ; (2020), Seite 63-75
Sutcliffe, Geoff

Automated Reasoning: Stepping Stones in the TPTP World

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2024

Published in: Automated Reasoning (2024), Seite 30-50
Sutcliffe, Geoff

The 10th IJCAR automated theorem proving system competition – CASC-J10

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2021

Published in: AI Communications, 34 (2021) 2, Seite 163-177
Sutcliffe, Geoff

The CADE-27 Automated theorem proving System Competition – CASC-27

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2020

Published in: AI Communications, 32 (2020) 5-6, Seite 373-389
Sutcliffe, Geoff

The 9th IJCAR Automated Theorem Proving System Competition – CASC-J9

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2018

Published in: AI Communications, 31 (2018) 6, Seite 495-507
Sutcliffe, Geoff

The CADE-26 automated theorem proving system competition – CASC-26

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2017

Published in: AI Communications, 30 (2017) 6, Seite 419-432

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication