Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Bücher
Zeitschriften
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
MTZ-Fachkongress

Antriebe und Energiesysteme von morgen


Austausch von Automobil- und Energiewirtschaft

Am 14./15. Mai geht es in Chemnitz um die Mobilitätswende durch Elektro- und Wasserstofffahrzeuge.
Erweiterte Suche
Anmelden
nach oben

Journal of Logic, Language and Information

Ausgabe 1/2014

Inhalt (4 Artikel)

Open Access

Strategic Reasoning: Building Cognitive Models from Logical Formulas

Sujata Ghosh, Ben Meijering, Rineke Verbrugge

A Hilbert-Style Axiomatisation for Equational Hybrid Logic

Luís S. Barbosa, Manuel A. Martins, Marta Carreteiro

On the Identification of Quantifiers’ Witness Sets: A Study of Multi-quantifier Sentences

Livio Robaldo, Jakub Szymanik, Ben Meijering

Speed Up the Conception of Logical Systems with Test-Driven Development

Mathieu Vidal

Dez 13
Ausgabe: 4/2013
Special Issue: Logic and Cognition
Jun 14
Ausgabe: 2/2014
Special Issue: Formal Models of Awareness

Aktuelle Ausgaben

Scrollen für mehr

Benutzen Sie die Pfeiltasten für mehr

Scrollen oder Pfeiltasten für mehr

Premium Partner

    Bildnachweise