Title
Introducing parallel computations to a PTTP-based first-order reasoning process in the Oz language
Authors
[ 1 ] Instytut Automatyki i Inżynierii Informatycznej, Wydział Elektryczny, Politechnika Poznańska | [ P ] employee
Year of publication
2008
Chapter type
paper
Publication language
english
Pages (from - to)
359 - 364
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS