Monografie
Logic-based program synthesis and transformation : 20th international symposium ; revised selected papers
- Sprache
-
Englisch
- Umfang
-
X, 248 S.
- ISBN
-
978-3-642-20550-7
- Identifier
-
1010602330
- Reihe
-
Lecture notes in computer science; 6564
Thema
Logische Programmierung ; Programmsynthese ; Programmtransformation ; Programmierparadigma ; Beweistheorie ; Formale Methode ; Konferenzschrift Hagenberg (Mühlkreis); Kongress Hagenberg
Beteiligte Personen und Organisationen
Alpuente, María
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:43 MESZ
Objekttyp
- Monografie
Beteiligte
- Alpuente, María
Ähnliche Objekte (12)
Symbolic and numerical scientific computation : second international conference ; revised papers
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic and numeric biology : 4th international conference ; revised selected papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Towards mechanized mathematical assistants : proceedings
FH science day / [FH OÖ Forschungs- & Entwicklungs-GmbH, Hagenberg, Linz, Steyr, Wels] : proceedings ; [Hagenberg: 25th October 2006]
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Symbolic and numerical scientific computation : second international conference ; revised papers
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic and numeric biology : 4th international conference ; revised selected papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Towards mechanized mathematical assistants : proceedings
FH science day / [FH OÖ Forschungs- & Entwicklungs-GmbH, Hagenberg, Linz, Steyr, Wels] : proceedings ; [Hagenberg: 25th October 2006]
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers
Logic based program synthesis and transformation : 18th international symposium ; revised selected papers
Symbolic and numerical scientific computation : second international conference ; revised papers
Automated deduction in geometry : 4th international workshop ; revised papers
Algebraic and numeric biology : 4th international conference ; revised selected papers
Algebraic biology : second international conference ; proceedings
Algebraic biology : third international conference ; proceedings
Rewriting techniques and applications : 19th international conference ; proceedings
Towards mechanized mathematical assistants : proceedings
FH science day / [FH OÖ Forschungs- & Entwicklungs-GmbH, Hagenberg, Linz, Steyr, Wels] : proceedings ; [Hagenberg: 25th October 2006]
Logic based program synthesis and transformation : 19th international symposium ; revised selected papers
Logic-based program synthesis and transformation : 21st international symposium ; revised selected papers
Logic-based program synthesis and transformation : 22nd international symposium ; revised selected papers