Tipp
Weitere Artikel dieser Ausgabe durch Wischen aufrufen
01.10.2012 | Ausgabe 3/2012
The Locally Nameless Representation
- Zeitschrift:
-
Journal of Automated Reasoning
>
Ausgabe 3/2012
- Autor:
- Arthur Charguéraud
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Springer Professional "Wirtschaft+Technik"
Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:
- über 69.000 Bücher
- über 500 Zeitschriften
aus folgenden Fachgebieten:
- Automobil + Motoren
- Bauwesen + Immobilien
- Business IT + Informatik
- Elektrotechnik + Elektronik
- Energie + Umwelt
- Finance + Banking
- Management + Führung
- Marketing + Vertrieb
- Maschinenbau + Werkstoffe
- Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Wirtschaft"
Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:
- über 58.000 Bücher
- über 300 Zeitschriften
aus folgenden Fachgebieten:
- Bauwesen + Immobilien
- Business IT + Informatik
- Finance + Banking
- Management + Führung
- Marketing + Vertrieb
- Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Technik"
Mit Springer Professional "Technik" erhalten Sie Zugriff auf:
- über 50.000 Bücher
- über 380 Zeitschriften
aus folgenden Fachgebieten:
- Automobil + Motoren
- Bauwesen + Immobilien
- Business IT + Informatik
- Elektrotechnik + Elektronik
- Energie + Umwelt
- Maschinenbau + Werkstoffe
Testen Sie jetzt 30 Tage kostenlos.
- Titel
-
The Locally Nameless Representation
- Autor:
-
Arthur Charguéraud
- Publikationsdatum
- 01.10.2012
- DOI
-
https://doi.org/10.1007/s10817-011-9225-2
- Verlag
-
Springer Netherlands
