Reset Filters
Filter Related Topics: Computer programs
Filter Related Topics within your search.
1
Extensional paramodulation for higher-order logic and its effective implementation Leo-III /

Cover is for reference only
Main Authors: Steen, Alexander
Published: IOS Press,
Publication Dates: [2018]
Call Number: TP301.6/S814
Book
Save to List
Saved in:
2
Intelligent agents for telecommunications applications basics, tools, languages and applications

Cover is for reference only
Corporate Authors: Intelligent Agents for Telecommunications Applications 1996 Budapest, Hungary) (Budapest, Hungary))
Group Author: Albayrak Sahin.
Published: IOS Press,
Publication Dates: c1998.
Call Number: TN91-39/I61.1/1996/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —