MARC Record from marc_columbia

LEADER: 03833mam a22003854a 4500
001 2546530
005 20221012191932.0
008 991006s1999 paua b 101 0 eng
010 $a 99051824
020 $a0863802524 (alk. paper)
035 $a(OCoLC)ocm42649707
035 $9AQM8860CU
035 $a(NNC)2546530
035 $a2546530
040 $aDLC$cDLC$dNNC$dOrLoB-B
042 $apcc
050 00 $aQA9.A1$b.F77 1999
082 00 $a511.3$221
245 00 $aFrontiers of combining systems 2 /$cedited by Dov M. Gabbay, Maarten de Rijke.
260 $aPhiladelphia, PA :$bResearch Studies Press,$c1999.
263 $a9910
300 $axiii, 407 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aStudies in logic and computation ;$v7
504 $aIncludes bibliographical references and index.
505 00 $tProgramming in Alma-0, or Imperative and Declarative Programming Reconciled /$rKrzysztof R. Apt and Andrea Schaerf --$tChurch-Rosser Property for Conditional Rewriting Systems with Built-in Predicates as Premises /$rMauricio Ayala-Rincon --$tCombining WS1S and HOL /$rDavid Basin and Stefan Friedrich --$tA Recipe for the Complexity Analysis of Non-Classical Logics /$rDavid Basin and Luca Vigano --$tComputer Arithmetic: Logic, Calculation and Rewriting /$rMarco Benini, Dirk Nowotka and Carl Pulley --$tCombining Higher-Order and First-Order Computation Using p-Calculus: Towards a Semantics of ELAN /$rHoratiu Cirstea and Claude Kirchner --$tDistributed First Order Logic /$rChiara Ghidini and Luciano Serafini --$tPushing the Frontiers of Combining Rewrite Systems Farther Outwards /$rJurgen Giesl and Enno Ohlebusch --$tToward Sharing Libraries of Mathematics between Theorem Provers /$rDouglas J. Howe --$tNegation in Combining Constraint Systems /$rStephan Kepser --
505 80 $tOptimisation Techniques for Combining Constraint Solvers /$rStephan Kepser and Jorn Richts --$tThe Constraint Solver Collaboration Language of BALI /$rEric Monfroy --$tA Hybrid Language for the Analysis of Aspectual and Temporal Phenomena in Natural Language /$rRalf Naumann --$tCombining Semantical and Syntactical Theory Reasoning /$rUwe Petermann --$tA Generic Approach to Combining Stochastic Algorithms with Systematic Constraint Solvers /$rSteven Prestwich --$tCategorial Fibring of Logics with Terms and Binding Operators /$rAmilcar Sernadas, Cristina Sernadas and Carlos Caleiro /$r[et al.] --$tIterative Dialogue and Automated Proofs /$rKonrad Slind and Richard Boulton --$tTowards Heterogeneous Specifications /$rAndrzej Tarlecki --$tIntegration of Linear Arithmetic and Goal-Oriented Resolution for Software Reasoning /$rTie-Chung Wang and Allen Goldberg --$tTemporalizing Description Logics /$rFrank Wolter and Michael Zakharyaschev.
520 1 $a"Frontiers of Combining Systems 2 includes selected, edited contributions from the Second International Workshop on Frontiers of Combining Systems. This volume addresses both particular instances of the combination and integration problem and the general issue. While covering a wide spectrum of disciplines and angles, from systems and constraints to logical aspects, theorem proving and rewriting, there is a clear emphasis on automated tools and logics."--BOOK JACKET.
650 0 $aLogic, Symbolic and mathematical$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008107112
650 0 $aComputer science$vCongresses.$0http://id.loc.gov/authorities/subjects/sh2008101220
700 1 $aGabbay, Dov M.,$d1945-$0http://id.loc.gov/authorities/names/n80153278
700 1 $aRijke, Maarten de.$0http://id.loc.gov/authorities/names/n93035735
830 0 $aStudies in logic and computation ;$v7.$0http://id.loc.gov/authorities/names/n92029304
852 00 $boff,eng$hQA9.A1$iF77 1999