MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 747,272 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • (A)  
  • by Yiorgos Stavrinos, Anastasia Veneti
  • …) logic LJ ∈ Γ (A) Γ ⊢ Γ; ⊢ Γ ⊢ → (→I) Γ ⊢ → Γ ⊢ Γ ⊢ (→E) Γ ⊢ Γ ⊢ Γ ⊢ ∧ (∧I) Γ ⊢ 1 ∧ 2 Γ ⊢ i (∧E, i = 1; 2…
  • Add To MetaCart
  • a  
  • by Nickolas Gouraros, Wendy Hall
  • …The Pausanian Notation: a method for representing the structure and the content of a hyperdocument…
  • Add To MetaCart
  • A  
  • by In Computer Science, Sales Manufacturing R&d, Laptops Desktops
  • … What is a Tree In computer science, a tree is an abstract model of a hierarchical structure A tree…
  • Add To MetaCart
  • A  
  • by D. Basin, S. Matthews, L. Vigano
  • …A modular presentation of modal logics in a logical framework D. Basin, S. Matthews, L. Vigano Max…
  • Add To MetaCart
  • A  
  • by Matthew Haney, Jon Sheiman, Roel Snieder, Steve Naruk, Jay Busch, Scott Wilkins
  • …Fault-plane reflections as a diagnostic of pressure differences in reservoirs: A case study…
  • Add To MetaCart
  • of A and  
  • by Brian Day, Craig Pastro, Issn Brian Day, Craig Pastro — 2008
  • …. In this short note we show that a weaker version of functor, which we call “Frobenius monoidal”, is sufficient…
  • Add To MetaCart
  • of A and  
  • by Brian Day, Craig Pastro, Issn Brian Day, Craig Pastro — 2008
  • …. In this short note we show that a weaker version of functor, which we call “Frobenius monoidal”, is sufficient…
  • Add To MetaCart
  • A)  
  • by For B
  • …• What is reduction? Algorithm for A: X (Input of A) Handout on Reductions Reduction R R(x) (Input…
  • Add To MetaCart
  • a  
  • by unknown authors
  • …) calculates an approximation to the sine or the cosine transform of a function g over [a; b]: I = Z b a g…
  • Add To MetaCart
  • a  
  • by Sylvie Trudel, Pascale Tardif
  • …Implementing a measurement program in small software organizations Successes and challenges…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB