Inhaltsangabe
Beginnt eine Reihe über neue Forschungsergebnisse über die Methoden der Logik in der Informatik, die entwickelt wurde, um produktive Untersuchungslinien in die Theorie und Anwendungen symbolischer und algebraischer Computertechniken im Zusammenhang mit Logikprogrammierung und automatisierter Deduktion zu stimulieren und aufrechtzuerhalten. Die acht Artikel diskutieren parallele Deduktionsmethoden unter Verwendung von Verbindungsdiagrammen, ordnungssortierter Gleichungslogikprogrammierung, einem automatisierten Entscheidungsverfahren basierend auf dem Begriff des semantischen Tableaus und andere Themen. Der Preis für Einzelpersonen beträgt 35 US-Dollar. Anmerkung Copyright Book News, Inc. Portland, Oder.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
