skip to main content
Language:
Show Results with:

Results 1 - 10 of 220  for Everything in this catalogue

Sort by: Sort by: relevanceOr hit Enter to replace sort method
results 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Carta rappresentante l'Istmodi Darien o' siadi Panama. G. Terreni sc.
Carta rappresentante l'Istmodi Darien o' siadi Panama. G. Terreni sc.
Material Type:
Book 		Add to My workspace

Carta rappresentante l'Istmodi Darien o' siadi Panama. G. Terreni sc.

Livoni : Marco Cortellini, 1763.

Check library holdings and other locations

2
Web Sites Repairing through Abduction
Web Sites Repairing through Abduction
Material Type:
Article 		Add to My workspace

Web Sites Repairing through Abduction

Mancarella, P.; Terreni, G.; Toni, F.

Electronic notes in theoretical computer science VOL 235, ; 2009, 137-152 -- ELSEVIER SCIENCE B.V AMSTERDAM (pages 137-152) -- 2009

Online access

3
Web Sites Verification: An Abductive Logic Programming Tool
Web Sites Verification: An Abductive Logic Programming Tool
Material Type:
Article 		Add to My workspace

Web Sites Verification: An Abductive Logic Programming Tool

Mancarella, P. et al.

SPRINGER-VERLAG (pages 434-435) -- 2007

Check library holdings

4
An Abductive Proof Procedure Handling Active Rules
An Abductive Proof Procedure Handling Active Rules
Material Type:
Article 		Add to My workspace

An Abductive Proof Procedure Handling Active Rules

Mancarella, P. et al.

Springer-Verlag; 1999 (pages 105-117) -- 2003

Check library holdings

5
An Abductive Proof Procedure Handling Active Rules
An Abductive Proof Procedure Handling Active Rules
Material Type:
Article 		Add to My workspace

An Abductive Proof Procedure Handling Active Rules

Mancarella, P. et al.

Journal on data semantics.; Italian Association for Artificial Intelligence; AI*IA 2003 advances in artificial intellience (eds.); Pisa, Italy, 2003; Sep, 2003, 105-117 -- Berlin; New York; Springer; 2003 (pages 105-117) -- 2003

Check library holdings

6
Web Sites Verification: An Abductive Logic Programming Tool
Web Sites Verification: An Abductive Logic Programming Tool
Material Type:
Article 		Add to My workspace

Web Sites Verification: An Abductive Logic Programming Tool

Mancarella, P.; Terreni, G.; Toni, F.

Journal on data semantics.; International conference on logic programming; Porto, Portugal, 2007; Sep, 2007, 434-435 -- Berlin; Springer; 2007 (pages 434-435) -- 2007

Check library holdings

7
Programming Applications in CIFF
Programming Applications in CIFF
Material Type:
Article 		Add to My workspace

Programming Applications in CIFF

Mancarella, P. et al.

SPRINGER-VERLAG (pages 284-289) -- 2007

Check library holdings

8
Planning Partially for Situated Agents
Planning Partially for Situated Agents
Material Type:
Article 		Add to My workspace

Planning Partially for Situated Agents

Mancarella, P. et al.

Journal on data semantics.; Computational Logic in Multi-agent Systems; CLIMA V; Lisbon, 2004; Sep, 2005, 230-248 -- Berlin; [London]; Springer; c2005 (pages 230-248) -- 2005

Check library holdings

9
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
The CIFF Proof Procedure for Abductive Logic Programming with Constraints
Material Type:
Article 		Add to My workspace

The CIFF Proof Procedure for Abductive Logic Programming with Constraints

Endriss, U. et al.

SPRINGER-VERLAG (pages 31-43) -- 2004

Check library holdings

10
Programming Applications in CIFF
Programming Applications in CIFF
Material Type:
Article 		Add to My workspace

Programming Applications in CIFF

Mancarella, P. et al.

Journal on data semantics.; Logic programming and nonmonotonic reasoning: 9th international conference, LPNMR 2007; Tempe, AZ, 2007; May, 2007, 284-289 -- Berlin; Springer; 2007 (pages 284-289) -- 2007

Check library holdings

Results 1 - 10 of 220  for Everything in this catalogue

Sort by: Sort by: relevanceOr hit Enter to replace sort method
results 1 2 3 4 5 next page

Refine Search Results

Refine my results

Access Options 

  1. Purchase a copy  (203)
  2. Request to Reading Room  (137)
  3. Online: Reading Room only  (83)
  4. Refine further open sub menu

Material type 

  1. Articles  (210)
  2. Books  (8)
  3. Scores  (2)
  4. Refine further open sub menu

Creation date 

From To
Refine
  1. Before1993  (7)
  2. 1993To1998  (31)
  3. 1999To2004  (66)
  4. 2005To2011  (58)
  5. After 2011  (59)
  6. Refine further open sub menu

Additional Features 

  1. Abstract  (64)
  2. No Abstract  (146)
  3. Refine further open sub menu

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Terreni, M.
  2. Terreni, N.
  3. Terreni, G.
  4. Spinzi, G.
  5. Mandelli, G.

on this subject:

  1. Pharmaceutical chemistry
  2. biotechnology
  3. Medicine
  4. Life sciences
  5. Chemistry

All text is © British Library Board and is available under a Creative Commons Attribution Licence, except where otherwise stated.

P3

Searching Remote Databases, Please Wait