default search action

combined dblp search
author search
venue search
publication search

ask others

Andreas Wolf 0005

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Persons

Person information

affiliation: Technical University of Munich, Germany

Other persons with the same name

see FAQ

Other persons with a similar name

see FAQ

Why are some names followed by a four digit number?

SPARQL queries

🛈 Please note that only 62% of the items listed on this page have a DOI stored with their dblp record. Therefore, DOI-based queries can only provide partial results.

run query for this person

or build your own?

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2000
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ai/StenzW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ai/StenzW00
Gernot Stenz, Andreas Wolf:
Scheduling Methods for Parallel Automated Theorem Proving. AI 2000: 254-266
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/StenzW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/StenzW00
Gernot Stenz, Andreas Wolf:
E-SETHEO: An Automated³ Theorem Prover. TABLEAUX 2000: 436-440

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[b1]
- view
  - details & citations
  authority control:
- export record
  dblp key:
  - phd/dnb/Wolf99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Wolf99
Andreas Wolf:
Paralleles Theorembeweisen: Leistungssteigerung, Kooperation und Beweistransformation. Technical University Munich, Germany, Utz 1999, ISBN 978-3-89675-584-1, pp. 1-202
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ijprai/WolfL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijprai/WolfL99
Andreas Wolf, Reinhold Letz:
Strategy Parallelism in Automated Theorem Proving. Int. J. Pattern Recognit. Artif. Intell. 13(2): 219-245 (1999)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ausai/StenzW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ausai/StenzW99
Gernot Stenz, Andreas Wolf:
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover. Australian Joint Conference on Artificial Intelligence 1999: 231-243
[c3]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/flairs/StenzW99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/StenzW99
Gernot Stenz, Andreas Wolf:
Strategy Selection by Genetic Programming. FLAIRS 1999: 346-350
1998
[c2]
- view
  - electronic edition @ aaai.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/flairs/WolfL98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/flairs/WolfL98
Andreas Wolf, Reinhold Letz:
Strategy Parallelism in Automated Theorem Proving. FLAIRS 1998: 142-146
1997
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/WolfS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WolfS97
Andreas Wolf, Johann Schumann:
ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output. CADE 1997: 61-64

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

w3c valid html last updated on 2026-05-06 00:07 CEST by the dblp team

all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

since 2018, dblp has been operated, funded, and maintained by:

Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.