000 01980nam a22004573i 4500
001 EBC7244832
003 MiAaPQ
005 20250214125711.0
006 m o d |
007 cr cnu||||||||
008 231110s2011 flua ob 001 0 eng d
020 _a9781000218725
_q(electronic bk.)
020 _z9781439829615
_q(print)
035 _a(MiAaPQ)EBC7244832
035 _a(Au-PeEL)EBL7244832
035 _a(OCoLC)1202549001
040 _aMiAaPQ
_beng
_erda
_epn
_cMiAaPQ
_dMiAaPQ
050 4 _aQA76.63
_b.H58 2011
082 0 _a005.115
_222
100 1 _aHitzler, Pascal,
_eauthor.
245 1 0 _aMathematical aspects of logic programming semantics /
_cPascal Hitzler, Anthony Seda.
264 1 _aBoca Raton, FL :
_bCRC Press,
_c[2011]
264 4 _c�2011
300 _a1 online resource (305 pages) :
_btables, illustrations.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aChapman & Hall/CRC studies in informatics series
500 _a"A Chapman & Hall book."
504 _aIncludes bibliographical references and index.
588 _aDescription based on print version record.
590 _aElectronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650 0 _aLogic programming.
650 0 _aProgramming languages (Electronic computers)
_xSemantics.
655 4 _aElectronic books.
700 1 _aSeda, Anthony,
_eauthor.
776 0 8 _iPrint version:
_aHitzler, Pascal.
_tMathematical aspects of logic programming semantics.
_dBoca Raton, FL : CRC Press, c2011
_h305 pages.
_kChapman & Hall/CRC studies in informatics series.
_z9781439829615
_w(OCoLC)ocn683591286
797 2 _aProQuest (Firm)
830 0 _aChapman & Hall/CRC studies in informatics series.
856 4 0 _uhttp://ebookcentral.proquest.com/lib/daystar-ebooks/detail.action?docID=7244832
_zClick to View
999 _c248423
_d248422