By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence ...
WeiterlesenPart I describes four approaches that are based on computational logic or process algebra--Jason, 3APL, IMPACT, and CLAIM/SyMPA. ...
WeiterlesenThe book describes the open-source tools collection J2ME Polish, and shows how the tools can be used for creating professional ...
Weiterlesenmm-Wave Silicon Technology: 60GHz and Beyond covers silicon-based millimeter wave circuits and systems. It provides in depth ...
Weiterlesen