
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581

Free delivery. Nothing extra to pay at checkout.
Die Berechnung von Gasturbinen und Verdichtern und die Auswertung ihrer Priifstanddaten erfordern die Kenntnis der genauen Werte einer Reihe grundlegender physikalischer GroBen von Luft und der in Betracht kommenden Gase. Es sind dies zunachst Enthalpie und Temperatur der trockenen und wasserdampfhaltigen Luft sowie der Verbrennungsgase bei verschiedenem Luftiiber- schuB.
Description supplied by the publisher.